MIT离散数学课MIT讲解离散数学六大核心
计算机处理的是离散数据，离散数学则是“计算机理论界的语法”，不懂离散，就像学英语不会音标。
而MIT面向计算机专业，出品了离散数学课，官方视频、讲义、作业、解析一应俱全，学完此课程，基本具备阅读复杂论文所需的数学基础。
课程覆盖六大核心单元：
- 证明方法：命题逻辑、集合、反证法、数学归纳法、状态机与不变性；
- 算法分析：求和技巧、渐近记号、递推式分析；
- 数论与密码学：整除、模运算、RSA等基本原理；
- 图论基础：图的颜色匹配、连通性、树结构、有向无环图等；
- 计数方法：排列组合、鸽巢原理、生成函数；
- 概率论入门：独立性、条件概率、期望与方差、大偏差不等式（Chebyshev、Chernoff Bound）等。
教学安排与教材：
- 建议每周学习2次讲座（1.5小时/次）+2次习题课（1小时/次）
- 教材沿用广为流传的《Mathematics for Computer Science》，被称为“计算机理论自学圣经”，下载地址：courses.csail.mit.edu/6.042/spring18/mcs.pdf
主讲人Erik Demaine是年纪轻轻就成为MIT终身教授的天才，早年便获颁 MacArthur “天才”基金奖（2003），长期活跃于折纸算法、计算几何与CS理论前沿。
课程地址：ocw.mit.edu/courses/6-1200j-mathematics-for-computer-science-spring-2024/
