第十卷：计算机数学
证明一个循环正确、估计随机算法的表现、拟合一组数据，用到的数学并不一样。这一卷按问题组织工具：逻辑与离散结构、计数与概率、线性代数与微积分，再加上数值计算中的误差分析。公式可以查，题目里的条件还得自己读。
选择模块
三个模块都可以作为阅读入口；各模块首页列出需要先补的知识。基础代数和简单编程足够开始，后续再按具体问题补上证明、概率或矩阵知识。
模块 1
模块 2
模块 3
模块怎样衔接
逻辑提供精确命题与证明方法；计数把有限选择变成数量和概率模型；微积分、线性代数与统计再处理变化、几何、估计和带噪证据。
建议顺序
算法与形式推理先读 Math A，再从 Math B 选择计数、图论或概率章节。准备学数据科学或机器学习时，补上 Math B 的概率与 Math C 的线性代数、微积分；真正用程序计算时，也要看浮点与数值稳定性。不必等三部分全部读完才回到原来的问题。