Foundations of Computer Science

选课速读： COMP9020/COMP1521《Foundations of Computer Science》是 新南威尔士大学 的公开课程页面。当前可确认的信息包括 2 学分，难度 中等。 课程简介摘要：本课程介绍是由往届学长学姐回忆编辑而成。

本课程介绍是由往届学长学姐回忆编辑而成。

该门课之前是很多课程的前置课程，现在不做要求了。属于计算机理论基本介绍的一门课程，推荐转专业的或者没有计算机背景的同学选择该门课程。此外，lecturer要求比较严格，对于从国内过来的同学，是一门比较好的适应国外教学的课程。

本课范围：*设计正确有效程序的数学方法。*算法分析的数学。*证明和验证的逻辑。主题：*集合和关系理论的介绍*命题逻辑和布尔代数*归纳，递归和递归关系*顺序函数的增长。*结构化计数（组合学）*离散概率*图论*算法应用的树

视频：UNSW 2019T3 COMP9020 HD学霸经验分享+作业结构解析

 

视频: UNSW 2019 T3 COMP9020 quiz 5 +知识点讲解

 

视频: UNSW 2019 T3 COMP9020 week 3知识点讲解

 

视频: UNSW 2019 T3 COMP9020 assignment 1思路解析

 

简评：  

①有数学和计算机背景，没有难度。但要求论证过程严谨。

②只要不挂科，D比较容易，HD满足过程严谨比较容易。

③lecturer人比较nice，有问必答，而且详细解答

总分作业：

COMP9020包60% 含期末考试，30%作业以及10% quizzes。

其中：

quiz一共16个，每一个一分；

3个作业，每一个10分；

期末考试 2小时 占比60分。

要通过本课程，必须实现：总分为50或更高，以及期末考试至少40%（24分）。

与本课程相关的主要教科书是:

[RW] KA Ross and CR Wright, Discrete Mathematics, 5th edition, Pearson, 2003.

这是过去10年或更长时间推荐的课程教科书。

麻省理工学院类似课程的综合讲义提供了补充材料：

[LLM] E Lehman, FT Leighton and A Meyer, Mathematics for Computer Science, Creative Commons 2015.