跳转至

全书课程地图

教材以“定义—证明—算法证书”两条线并行组织。当前已发布第一至第三部;第 4 部及以后只保留课程路线,尚不作为发布页面。

第一部:实数、函数与分析语言

问题弧: 有限符号怎样描述无限与连续?

第 1 章:函数、集合与数学陈述

第 2 章:实数系与完备性公理

第 3 章:上界、下界与确界原理

第 4 章:递推过程与无限逼近

第二部:数列极限与无限过程

问题弧: 怎样判断一个无限过程最终稳定?

总学时:42 小时(理论 34,应用 8)。

第 5 章:数列极限与量词结构

第 6 章:极限运算与序关系

第 7 章:单调性、完备性与收敛准则

第 8 章:子列、Cauchy 准则与上/下极限

第三部:函数极限、连续性与方程

问题弧: 近似值能否保证真实解存在?

总学时:40 小时(理论 32,应用 8)。

第 9 章:函数极限与局部行为

第 10 章:连续函数与连续运算

本章学时:10 小时(理论 8,应用 2)。

  1. 连续性怎样把极限与函数值接起来?
  2. 连续性怎样经过运算和复合传递?
  3. 端点连续与连续延拓怎样统一处理?
  4. 函数会以哪些方式失去连续性?
  5. 常见初等函数的连续性从哪里来?

第 11 章:闭区间上的整体性质

本章学时:6 小时(理论 5,应用 1)。

  1. 为什么闭区间中的数列总有收敛子列?
  2. 连续函数为何一定有界并取得最值?
  3. 局部连续何时升级为全局一致控制?

第 12 章:零点、不动点与迭代求解

本章学时:8 小时(理论 6,应用 2)。

  1. 连续函数怎样保证取遍中间值?
  2. 有固定点是否意味着简单迭代会收敛?
  3. 怎样把有根证明变成误差可证的算法?
  4. 不同存在与计算证书各自保证什么?

后续路线

第四部至第十二部继续覆盖微分、积分、级数、多元微积分、常微分方程与现代分析的章级路线;在内容写作完成前不创建空白单元页。