編程原本

第1 章基礎(chǔ) 1
1．1 理念范疇：實體、類別和類屬 1
1．2 值 2
1．3 對象 4
1．4 過程 6
1．5 規(guī)范類型 7
1．6 規(guī)范過程 9
1．7 概念 11
1．8 總結(jié) 16
第2 章變換及其軌道 17
2．1 變換 17
2．2 軌道 21
2．3 碰撞點(diǎn) 23
2．4 軌道規(guī)模的度量 30
2．5 動作 31
2．6 總結(jié) 32
第3 章可結(jié)合運(yùn)算 33
3．1 可結(jié)合性 33
3．2 計算乘冪 35
3．3 程序變換 37
3．4 處理特殊情況的過程 42
3．5 參數(shù)化算法 46
3．6 線性遞歸 47
3．7 累積過程 50
3．8 總結(jié) 51
第4 章線性序 52
4．1 關(guān)系的分類 52
4．2 全序和弱序 55
4．3 按序選取 56
4．4 自然全序 66
4．5 派生過程組 67
4．6 按序選取過程的擴(kuò)展 68
4．7 總結(jié) 68
第5 章有序代數(shù)結(jié)構(gòu) 69
5．1 基本代數(shù)結(jié)構(gòu) 69
5．2 有序代數(shù)結(jié)構(gòu) 75
5．3 求余 76
5．4 最大公因子 81
5．5 廣義gcd 84
5．6 Stein gcd 87
5．7 商 87
5．8 負(fù)量的商和余數(shù) 89
5．9 概念及其模型 92
5．10 計算機(jī)整數(shù)類型 94
5．11 總結(jié) 95
第6 章迭代器 96
6．1 可讀性 96
6．2 迭代器 97
6．3 范圍 99
6．4 可讀范圍 103
6．5 遞增的范圍 112
6．6 前向迭代器 115
6．7 索引迭代器 120
6．8 雙向迭代器 120
6．9 隨機(jī)訪問迭代器 122
6．10 總結(jié) 124
第7 章坐標(biāo)結(jié)構(gòu) 125
7．1 二叉坐標(biāo) 125
7．2 雙向二叉坐標(biāo) 129
7．3 坐標(biāo)結(jié)構(gòu) 135
7．4 同構(gòu)、等價和有序 136
7．5 總結(jié) 144
第8 章后繼可變的坐標(biāo) 145
8．1 鏈接迭代器 145
8．2 鏈接重整 146
8．3 鏈接重整的應(yīng)用 153
8．4 鏈接的二叉坐標(biāo) 157
8．5 總結(jié) 163
第9 章拷貝 164
9．1 可寫性 164
9．2 基于位置的拷貝 166
9．3 基于謂詞的拷貝 174
9．4 范圍的交換 182
9．5 總結(jié) 186
第10 章重整 187
10．1 置換 187
10．2 重整 190
10．3 反轉(zhuǎn)算法 192
10．4 輪換算法 196
10．5 算法選擇 206
10．6 總結(jié) 210
第11 章劃分和歸并 211
11．1 劃分 213
11．2 平衡的歸約 218
11．3 歸并 223
11．4 總結(jié) 230
第12 章復(fù)合對象 231
12．1 簡單復(fù)合對象 231
12．2 動態(tài)序列 240
12．3 基礎(chǔ)類型 246
12．4 總結(jié) 249
跋 250
附錄A 數(shù)學(xué)表示 254
附錄B 程序設(shè)計語言 256
B．1 語言定義 256
B．2 宏和特征結(jié)構(gòu) 264
參考文獻(xiàn) 267
索引 271