MIT 6.042 计算机科学中的数学

课程名称： 6.1200[J] Mathematics for Computer Science (6.042)
课程官网地址：2015年春、2010年秋
先修课程： 无
重要程度： ※※※※※
课程评点：

课程说明

本课程涵盖计算机科学与工程的基本离散数学。它强调数学定义和证明以及适用的方法。主题包括形式逻辑符号、证明方法；归纳，有序；集合，关系；基本图论；整数同余；函数的渐近符号和增长；排列组合、计数原理；离散概率。还可能涵盖进一步选定的主题，例如递归定义和结构归纳；状态机和不变量；复发；生成函数。