离散数学与概率论 (Discrete Math & Probability)

课程信息

• 课程代码: UCB CS70 (Spring 2019)
• 核心内容: 逻辑证明、图论、数论应用（RSA/纠错码）、可计算性、离散概率
• 参考资料: CS70 官方网站

本系列笔记基于 UC Berkeley CS70 课程的 Lecture Notes 整理，旨在建立计算机科学所需的数学基础。

目录导航

Part 1: Logic & Proofs (逻辑与证明)

• Note 1: 命题逻辑与一阶逻辑
• Note 2-3: 证明方法与数学归纳法
• Note 4: 稳定匹配问题 (Stable Marriage)

Part 2: Graph Theory (图论)

• Note 5: 图论基础与欧拉回路

Part 3: Number Theory (数论与应用)

• Note 6: 模运算基础
• Note 7: RSA 加密算法
• Note 8: 多项式
• Note 9: 纠错码 (Error Correction)

Part 4: Computability (可计算性)

• Note 10-11: 可数性与停机问题

Part 5: Probability (概率论)

• Note 12: 计数原理 (Counting)
• Note 13-14: 离散概率基础
• Note 15-19: 随机变量与期望
• Note 21: 马尔可夫链 (Markov Chains)