编程原本

1 (p1): 第1章 基础
1 (p1-1): 1.1 理念范畴：实体、类别和类属
2 (p1-2): 1.2 值
4 (p1-3): 1.3 对象
6 (p1-4): 1.4 过程
7 (p1-5): 1.5 规范类型
9 (p1-6): 1.6 规范过程
11 (p1-7): 1.7 概念
16 (p1-8): 1.8 总结
17 (p2): 第2章 变换及其轨道
17 (p2-1): 2.1 变换
21 (p2-2): 2.2 轨道
23 (p2-3): 2.3 碰撞点
30 (p2-4): 2.4 轨道规模的度量
31 (p2-5): 2.5 动作
32 (p2-6): 2.6 总结
33 (p3): 第3章 可结合运算
33 (p3-1): 3.1 可结合性
35 (p3-2): 3.2 计算乘幂
37 (p3-3): 3.3 程序变换
42 (p3-4): 3.4 处理特殊情况的过程
46 (p3-5): 3.5 参数化算法
47 (p3-6): 3.6 线性递归
50 (p3-7): 3.7 累积过程
51 (p3-8): 3.8 总结
52 (p4): 第4章 线性序
52 (p4-1): 4.1 关系的分类
55 (p4-2): 4.2 全序和弱序
56 (p4-3): 4.3 按序选取
66 (p4-4): 4.4 自然全序
67 (p4-5): 4.5 派生过程组
68 (p4-6): 4.6 按序选取过程的扩展
68 (p4-7): 4.7 总结
69 (p5): 第5章 有序代数结构
69 (p5-1): 5.1 基本代数结构
75 (p5-2): 5.2 有序代数结构
76 (p5-3): 5.3 求余
81 (p5-4): 5.4 最大公因子
84 (p5-5): 5.5 广义gcd
87 (p5-6): 5.6 Stein gcd
87 (p5-7): 5.7 商
89 (p5-8): 5.8 负量的商和余数
92 (p5-9): 5.9 概念及其模型
94 (p5-10): 5.10 计算机整数类型
95 (p5-11): 5.11 总结
96 (p6): 第6章 迭代器
96 (p6-1): 6.1 可读性
97 (p6-2): 6.2 迭代器
99 (p6-3): 6.3 范围
103 (p6-4): 6.4 可读范围
112 (p6-5): 6.5 递增的范围
115 (p6-6): 6.6 前向迭代器
120 (p6-7): 6.7 索引迭代器
120 (p6-8): 6.8 双向迭代器
122 (p6-9): 6.9 随机访问迭代器
124 (p6-10): 6.10 总结
125 (p7): 第7章 坐标结构
125 (p7-1): 7.1 二叉坐标
129 (p7-2): 7.2 双向二叉坐标
135 (p7-3): 7.3 坐标结构
136 (p7-4): 7.4 同构、等价和有序
144 (p7-5): 7.5 总结
145 (p8): 第8章 后继可变的坐标
145 (p8-1): 8.1 链接迭代器
146 (p8-2): 8.2 链接重整
153 (p8-3): 8.3 链接重整的应用
157 (p8-4): 8.4 链接的二叉坐标
163 (p8-5): 8.5 总结
164 (p9): 第9章 拷贝
164 (p9-1): 9.1 可写性
166 (p9-2): 9.2 基于位置的拷贝
174 (p9-3): 9.3 基于谓词的拷贝
182 (p9-4): 9.4 范围的交换
186 (p9-5): 9.5 总结
187 (p10): 第10章 重整
187 (p10-1): 10.1 置换
190 (p10-2): 10.2 重整
192 (p10-3): 10.3 反转算法
196 (p10-4): 10.4 轮换算法
206 (p10-5): 10.5 算法选择
210 (p10-6): 10.6 总结
211 (p11): 第11章 划分和归并
211 (p11-1): 11.1 划分
218 (p11-2): 11.2 平衡的归约
223 (p11-3): 11.3 归并
230 (p11-4): 11.4 总结
231 (p12): 第12章 复合对象
231 (p12-1): 12.1 简单复合对象
240 (p12-2): 12.2 动态序列
246 (p12-3): 12.3 基础类型
249 (p12-4): 12.4 总结
250 (p13): 跋
254 (p14): 附录A 数学表示
256 (p15): 附录B 程序设计语言
256 (p15-1): B.1 语言定义
264 (p15-2): B.2 宏和特征结构
267…