课程
MIT 6.042J Mathematics for Computer Science
离散数学课程，系统覆盖定义、证明、集合、函数、关系、计数与离散概率。
Albert R. Meyer, Adam Chlipala · 2015 · MIT OpenCourseWare
教材中的引用位置
- C01 · 第 1 章 序列、栈、队列、树与堆
- C01 · 第 2 章 哈希表、图与并查集
- C01 · 第 3 章 分治、贪心与排序
- C01 · 第 4 章 动态规划与图算法
- C01 · 第 5 章 渐近复杂度、归约与可计算性
- C01 · 第 6 章 数据结构与算法综合复习
- M00 · 第 1 章 命题、量词与逻辑联结词
- M00 · 第 2 章 集合、映射与关系
- M00 · 第 3 章 直接证明、反证法与构造法
- M00 · 第 4 章 等价关系、序关系与数学归纳法
- M00 · 第 5 章 有限性、可数性与基本代数结构
- M00 · 第 6 章 数学语言与证明综合复习
- M01 · 第 3 章 函数、变换与图像
- M05 · 第 1 章 概率公理与组合概率
- M05 · 第 2 章 条件概率、独立性与贝叶斯公式
- M05 · 第 6 章 概率模型、随机变量与极限定理综合复习
- M07 · 第 1 章 计数原理、容斥与鸽巢原理
- M07 · 第 2 章 递推关系与生成函数
- M07 · 第 3 章 图、路径、连通性与树
- M07 · 第 4 章 匹配、覆盖与图着色
- M07 · 第 5 章 偏序集、格与布尔代数
- M07 · 第 6 章 组合、图论与离散证明综合复习