斯坦福 CS103 计算的数学基础
课程名称： Mathematical Foundations of Computing
官方入口： 课程主页
课程层级： 本科核心基础课
先修要求： 无严格先修，但需要一定抽象思维能力
重要程度： ※※※※※
课程定位
CS103 是 Stanford CS 本科最关键的数学基础课之一。它不是传统意义上的“离散数学概念汇总”，而是把 证明、逻辑、集合、关系、函数、自动机、可计算性、复杂度 串成一门真正面向计算的数学课。
核心内容
- 命题逻辑与一阶逻辑
- 证明方法：直接证明、反证、归纳、构造性证明
- 集合、关系、函数与基数
- 图与离散结构
- 自动机、形式语言、图灵机
- 可计算性与复杂度，尤其是
P、NP、不可判定性
为什么对 CS 重要
这门课几乎定义了 Stanford 学生之后看待理论 CS 的方式。你不只是学“做题技巧”，而是学会用数学语言表达程序、算法与计算模型。后续无论学算法、密码学、编译原理、机器学习理论还是复杂度，都会直接受益。
学习难点
- 很多同学第一次系统接触“证明写作”
- 从高中数学过渡到抽象定义与形式化推理，需要适应
- 后半段可计算性与复杂度的抽象度明显上升
学完后的衔接
- 理论方向：算法、复杂度、密码学、形式化方法
- 概率方向：接
CS109 - AI / ML：虽然不直接讲模型，但对形式化思维帮助很大