斯坦福 CS 103 计算的数学基础

课程名称： Mathematical Foundations of Computing
课程官网地址：斯坦福CS103课程官网
先修课程： 无
重要程度： ※※※※※
课程评点：

课程说明

计算能力的理论极限是什么？哪些问题可以用计算机解决？哪些不能？我们如何才能用数学确定性推理出这些问题的答案？本课程探讨这些问题的答案，并介绍离散数学、可计算性理论和复杂性理论。完成课程后，学生将能够轻松地编写数学证明、推理离散结构、阅读和编写一阶逻辑语句以及使用计算设备的数学模型。在整个课程中，学生将接触到十九世纪末和二十世纪一些最令人兴奋的数学和哲学思想。涵盖的具体主题包括形式数学校对、命题和一阶逻辑、集合论、二元关系、函数（注入、满射和双射）、基数、基本图论、鸽巢原理