CSC3001 · Discrete Mathematics
离散数学。
| 项目 | 内容 |
|---|---|
| 课程代码 | CSC3001 |
| 课程名称 | Discrete Mathematics（离散数学） |
| 讲义来源 | 基于 Prof. Lap Chi Lau（CUHK）的讲义，并参考 MIT 课程资源 |
| 参考教材 | Rosen, Discrete Mathematics and Its Applications (7th ed.) |
| 补充读物 | Levin, Discrete Mathematics: An Open Introduction |
本课程笔记
| 讲次 | 主题 | 对应课件 |
|---|---|---|
| LN0 绪论 | Introduction | LN0（共 12 页） |
| LN1 命题逻辑 | Propositional Logic | LN1（共 60 页） |
| LN2.1 集合 | Sets | LN2.1（共 32 页） |
| LN2.2 一阶逻辑 | First-order Logic | LN2.2（共 32 页） |
| LN3 证明方法 | Methods of Proofs | LN3（共 24 页） |
| LN4.1 数学归纳法 I | Mathematical Induction I | LN4.1（共 42 页） |
| LN4.2 数学归纳法 II | Mathematical Induction II | LN4.2（共 44 页） |
阅读顺序建议
LN0 是课程导览；LN1–LN2.2 是「逻辑与集合」一段（命题逻辑 → 一阶逻辑）；LN3 起进入证明方法，LN4.1–LN4.2 讲数学归纳法（含强归纳、良序原理与不变量法）。按这个顺序读最顺。