交互式课程
从定义走到可执行的算术¶
本课程不只展示计算结果，还会把数学定义、数据表示和 Python 实现逐项对应起来。
学习起点
默认你了解变量、函数、类和 if 等基础 Python 语法。特殊方法、装饰器和 dataclass 等元编程机制会在需要时解释。
学习方法¶
每章都先给出定义，再查看库中的表示和实现。请在运行代码前预测结果，然后用日志和测试检查自己的解释。
数学定义
先明确哪些是公理、哪些是由公理给出的定义。
数据表示
确认数学对象在 Python 值中如何保存。
Python 实现
把定义的每个分支对应到实际方法。
章节¶
- 00 · 理解本课程所需的 Python 机制
- 01 · 自然数：零、后继与递归
- 02 · 整数：代表元与等价关系
- 03 · 有理数：交叉相乘与约分
- 04 · 多项式：系数序列与 Sturm 序列
- 05 · 代数实根：隔离区间与二分
完成六章后，你应该能够从源码说明每条规则为何产生相应的执行过程，而不只是复述输出。