Skip to main content

哈佛 CS20 计算机科学中的离散数学

课程名称： Discrete Mathematics for Computer Science
官方入口： Harvard CS Advising 课程标签页、Harvard SEAS CS 课程页
课程层级： 本科核心基础课
先修要求： 无严格先修
重要程度： ※※※※☆

课程定位​

CS20 是 Harvard CS 体系里最标准的离散数学入口课，也是其 Formal Reasoning 要求里最典型的一门。课程目标不是让你“刷完若干知识点”，而是让你掌握计算机科学里的数学表达方式。

核心内容​

  • 逻辑与证明
  • 集合、函数、关系
  • 归纳、递归与递推
  • 组合数学、图论
  • 概率基础与离散结构应用

对 Harvard CS 的作用​

Harvard 官方要求里把 CS20 明确列为离散数学 / formal reasoning 的主要入口。它和算法、复杂度、密码学、理论机器学习的联系都很直接。

适合谁​

  • 想把“证明能力”补起来
  • 理论 CS、算法、ML 理论方向
  • 需要正式打通离散数学底座的同学