计算机专业必修数学课程
这不是“数学系路线图”,而是“计算机学生真正需要的数学地图”。如果你的目标是系统、理论、图形学、机器学习、NLP、CV、强化学习、机器人或安全,这里的数学课基本就是长期底座。
一张总图
- 离散数学:证明、逻辑、组合、图论、递归、复杂度、概率入门,是理论 CS 的总入口。
- 微积分:优化、连续模型、ODE/PDE、几何建模、物理系统与数值方法的基础。
- 线性代数:矩阵、特征值、SVD、最小二乘,是 ML、图形学、控制、图学习和科学计算的通用语言。
- 概率统计:随机变量、估计、极限定理、随机过程,是 AI、系统性能分析、网络、推断的底层框架。
- 优化 / 数值分析:研究生阶段最常见的“数学升级包”,决定你能否真正理解现代 ML、控制和大规模计算。
六校最推荐的基础起点
Stanford
CS103:离散数学、逻辑、证明、可计算性、复杂度CS109:CS 视角的概率Math 20 系列:微积分基础Math 51:线代 + 多变量微积分一体化
MIT
6.1200[J]:当前官方的Mathematics for Computer Science,旧编号6.042J18.01 / 18.02 / 18.03:微积分与微分方程18.06:最经典的应用型线性代数18.05或6.3700:概率 / 概率与统计
Harvard
CS20:离散数学Math 1a/1b:单变量微积分Math 21B / 22A / AM22A:线代路径STAT110:概率主课
Berkeley
CS70:离散数学 + 概率Math 1A / 1B:单变量微积分
说明:Berkeley 自 2025 年秋季 起将Math 1A/1B重编号为Math 51/52Math 53 / 54