离散数学教材
离散数学对计算机学生的意义，不在于“学过一些公式”，而在于你是否学会了证明、抽象和形式化表达。因此离散数学教材最关键的不是厚不厚，而是：能不能帮你建立 逻辑、证明、组合、图论、递归、概率方法、计算模型 这些能力。
最推荐的 5 本
1. Mathematics for Computer Science
- 作者：Lehman, Leighton, Meyer
- 适合人群：所有面向 CS 的离散数学学习者
- 优点：MIT 原版路线，完全按 CS 需要组织
- 适合课程：MIT
6.1200[J]/ 旧6.042J - 建议：如果你想要一本“最像计算机科学而不是普通离散数学课”的书，这本优先级最高
2. Discrete Mathematics and Its Applications
- 作者：Kenneth Rosen
- 适合人群：需要系统扫清知识面的学生
- 优点：覆盖全面，例题多，入门非常稳
- 适合课程：Stanford
CS103、HarvardCS20、部分 CMU / Berkeley 基础离散课 - 建议：最通用、最安全的入门书
3. Introduction to the Theory of Computation
- 作者：Michael Sipser
- 适合人群：已经有离散基础，准备进自动机、可计算性、复杂度
- 优点：形式语言、自动机、图灵机与复杂度讲得极清楚
- 适合课程：Stanford
CS103后半段、PrincetonCOS240、理论 CS 路线 - 建议：它不是基础离散教材的完全替代，但对理论 CS 几乎必读
4. Discrete Mathematics: Elementary and Beyond
- 作者：Lovasz, Pelikan, Vesztergombi
- 适合人群：想进一步提升理论味道和证明训练的人
- 优点：更严谨，也更有数学美感
- 适合课程：CMU、Princeton、理论 CS 进阶
- 建议：适合二刷，不建议多数人作为第一本
5. Concrete Mathematics
- 作者：Graham, Knuth, Patashnik
- 适合人群：算法、组合、递推、渐近分析方向学生
- 优点：把很多“算法数学”讲得非常深
- 适合课程：算法、理论 CS、概率方法进阶
- 建议：更像进阶参考书，不是普通离散数学起步书
六校常见对应
| 学校 | 更接近的书 | 说明 |
|---|---|---|
| Stanford | Rosen + 课程讲义 + Sipser | CS103 非常重证明和理论计算 |
| MIT | MCS 原版教材 | 最强 CS 取向 |
| Harvard | Rosen / Sipser / 讲义 | CS20 更偏 formal reasoning |
| Berkeley | 讲义 + Rosen / Sipser | CS70 自成体系，概率部分很强 |
| Princeton | Sipser / Rosen / 自 编讲义 | COS240 更贴近理论 CS |
| CMU | Rosen / Lovasz / 自编讲义 | 证明训练更强，理论味更重 |
选书建议
- 零基础起步：
Rosen - 明确走 CS 路线：
MCS - 想进理论 CS：
Sipser - 想拔高证明和组合：
Lovasz - 想攻算法数学：
Concrete Mathematics