Berkeley EECS70

离散数学与概率论

EECS70 是许多 CS 方向的数学底座：证明方法、组合、图、数论、可计算性、随机变量和概率推理。它更像训练思维的课程，而不只是公式集合。

中文版 英文版

Learning Path

把证明当作主线。

这门课最重要的不是记住结论，而是能把定义、引理和推理写成清楚的证明。

离散结构

先练归纳、组合、图和数论，让抽象对象变得可操作。

计算边界

理解可计算性和不可判定性，为理论 CS 建立边界感。

概率推理

从条件概率、随机变量到集中不等式，为算法和机器学习打底。