目标
这个 collection 是数学笔记的主入口，覆盖计算机科学所需的数学基础、概率统计、优化、证明方法等内容。它会逐步整理来自 Math for Computer Science、Miscellaneous Math Problem Cookbook 和当前学习过程中的新笔记。
当前阅读路径
数学基础与主要方向
概率论和数理统计
计划方向
- 线性代数与矩阵方法
- 离散数学与组合数学
- 数理逻辑与证明
- 优化
- 分析基础
- 概率、统计与随机过程
状态
目前已经完成三批数学内容迁移。第一批是六篇证明主题笔记，第二批新增七篇数学基础与离散数学章节，第三批新增两篇概率主题笔记，并把离散分布章节的 provenance 合并进三篇已有笔记。每篇迁移笔记都在 provenance 字段中保留源仓库 commit 和源文件的精确更新时间，页面显示日期则按照源章节更新记录推算出有节奏的历史时间线。后续会重点处理资源导出和其他已经成形的章节，同时避免重复创建。