我选择的是2010版本，官网链接为ocw.mit.edu/courses/ele…
前置课
前置课是数学分析.
课程描述
本课程涵盖计算机科学和工程的初级离散数学。它强调了数学定义和证明以及适用的方法。主题包括形式逻辑符号，证明方法；归纳法，井然有序；集合，关系；初级图论；整数全等；渐进符号和函数的增长；排列和组合，计数原理；离散概率。还可能涉及更多的选定主题，如递归定义和结构归纳；状态机和不变量；递归；生成函数。
- 开坑时间:2021-7-11
- 完结时间:todo
我选择的是2010版本，官网链接为ocw.mit.edu/courses/ele…
前置课是数学分析.
本课程涵盖计算机科学和工程的初级离散数学。它强调了数学定义和证明以及适用的方法。主题包括形式逻辑符号，证明方法；归纳法，井然有序；集合，关系；初级图论；整数全等；渐进符号和函数的增长；排列和组合，计数原理；离散概率。还可能涉及更多的选定主题，如递归定义和结构归纳；状态机和不变量；递归；生成函数。
