第十卷：数学基础
语言工坊能描述程序，却不能替你证明结论。数学瞭望塔是一座贯穿全程的补给站：在算法、系统、数据和 AI 需要更精确的工具时，你可以回到这里学习逻辑、组合概率、线性代数、微积分与信息论，再带着它们返回主线。
旅程位置：语言工坊 → 数学瞭望塔（把直觉变成可推导的结论）→ 编译高塔
前置要求
需要高中数学基础。不需要大学数学，但需要耐心阅读符号和公式。
本卷不是必须一次读完的线性关卡。三部分分别与编程和算法、数据分析、机器学习配合阅读。
路线说明
数学基础分三段穿插在整个系列中：
Math A — 离散数学（在 Vol 1 之后阅读）
逻辑 → 集合论 → 证明方法 → 递归与递推 → 关系与函数
Math B — 组合与概率（在 Vol 2 前后阅读）
排列组合 → 图论基础 → 概率基础 → 数论基础
Math C — 应用数学（在 Vol 12 前阅读）
线性代数 → 微积分基础 → 信息论与数值计算
章节列表
Math A — 离散数学
| # | 章节 | 文件 |
|---|---|---|
| 1 | 命题逻辑与谓词逻辑（3课） | ch01-propositional-predicate-logic.md |
| 2 | 集合论（3课） | ch02-set-theory.md |
| 3 | 证明方法（3课） | ch03-proof-methods.md |
| 4 | 递归、归纳与递推（3课） | ch04-recursion-induction.md |
| 5 | 关系与函数（3课） | ch05-relations-functions.md |
Math B — 组合数学与概率
| # | 章节 | 文件 |
|---|---|---|
| 6 | 组合数学（3课） | ch06-combinatorics.md |
| 7 | 图论（3课） | ch07-graph-theory.md |
| 8 | 概率与统计（3课） | ch08-probability.md |
| 9 | 数论（3课） | ch09-number-theory.md |
Math C — 应用数学
| # | 章节 | 文件 |
|---|---|---|
| 10 | 线性代数（3课） | ch10-linear-algebra.md |
| 11 | 微积分与优化（3课） | ch11-calculus-optimization.md |
| 12 | 信息论与数值计算（3课） | ch12-information-theory.md |
完整课目
本卷按“章 → 编号课次”组织。8.1、8.2 这样的文件是第 8 章下连续的短课，不是两个重复章节。