全书课程地图¶
教材以“定义—证明—算法证书”两条线并行组织。当前已发布第一至第三部;第 4 部及以后只保留课程路线,尚不作为发布页面。
第一部:实数、函数与分析语言¶
问题弧: 有限符号怎样描述无限与连续?
第 1 章:函数、集合与数学陈述¶
第 2 章:实数系与完备性公理¶
第 3 章:上界、下界与确界原理¶
第 4 章:递推过程与无限逼近¶
第二部:数列极限与无限过程¶
问题弧: 怎样判断一个无限过程最终稳定?
总学时:42 小时(理论 34,应用 8)。
第 5 章:数列极限与量词结构¶
第 6 章:极限运算与序关系¶
第 7 章:单调性、完备性与收敛准则¶
第 8 章:子列、Cauchy 准则与上/下极限¶
第三部:函数极限、连续性与方程¶
问题弧: 近似值能否保证真实解存在?
总学时:40 小时(理论 32,应用 8)。
第 9 章:函数极限与局部行为¶
第 10 章:连续函数与连续运算¶
本章学时:10 小时(理论 8,应用 2)。
第 11 章:闭区间上的整体性质¶
本章学时:6 小时(理论 5,应用 1)。
第 12 章:零点、不动点与迭代求解¶
本章学时:8 小时(理论 6,应用 2)。
后续路线¶
第四部至第十二部继续覆盖微分、积分、级数、多元微积分、常微分方程与现代分析的章级路线;在内容写作完成前不创建空白单元页。