譯者序
前言
關於作者
第1章 基礎................................ 1
1.1理念範疇:實體,類彆,類屬.................1
1.2值.....................................2
1.3對象....................................4
1.4過程....................................6
1.5規範類型.................................7
1.6規範過程.................................8
1.7概念....................................10
1.8總結....................................14
第2章 變換及其軌道........................ 15
2.1變換....................................15
2.2軌道....................................18
2.3碰撞點...................................21
2.4軌道規模的度量.............................27
2.5動作....................................28
2.6總結....................................29
第3章 可結閤運算.......................... 31
3.1可結閤性.................................31
3.2計算乘冪.................................32
3.3程序變換.................................35
3.4處理特殊情況的過程..........................40
3.5參數化算法................................43
3.6綫性遞歸.................................44
3.7纍積過程.................................47
3.8總結....................................48
第4章 綫性序................................ 49
4.1關係的分類................................49
4.2全序和弱序................................51
4.3按序選取.................................52
4.4自然全序.................................62
4.5派生過程組................................63
4.6按序選取過程的擴展..........................63
4.7總結....................................64
第5章 有序代數結........................... 65
5.1基本代數結構..............................65
5.2有序代數結構..............................70
5.3求餘....................................72
5.4最大公因子................................76
5.5廣義gcd..................................79
5.6Steingcd.................................81
5.7商.....................................82
5.8負量的商和餘數.............................84
5.9概念及其模型..............................87
5.10計算機整數類型.............................88
5.11結論....................................89
第6章 迭代器.............................. 91
6.1可讀性...................................91
6.2迭代器...................................92
6.3範圍....................................94
6.4可讀範圍.................................97
6.5遞增的範圍................................106
6.6前嚮迭代器................................108
6.7索引迭代器................................113
6.8雙嚮迭代器................................114
6.9隨機訪問迭代器.............................115
6.10總結....................................117
第7章坐標結構.............................. 119
7.1二叉坐標.................................119
7.2雙嚮二叉坐標..............................123
7.3坐標結構.................................129
7.4同構,等價和有序............................129
7.5總結....................................137
第8章 後繼可變的坐標....................... 139
8.1鏈接迭代器................................139
8.2鏈接重整.................................140
8.3鏈接重整的應用.............................147
8.4鏈接的二叉坐標.............................151
8.5結論....................................155
第9章拷貝.................................. 157
9.1可寫性...................................157
9.2基於位置的拷貝.............................159
9.3基於謂詞的拷貝.............................166
9.4範圍的交換................................174
9.5總結....................................178
第10章 重整............................... 179
10.1置換....................................179
10.2重整....................................182
10.3 反轉算法.................................184
10.4 輪換算法.................................188
10.5 算法選擇.................................196
10.6 總結....................................200
第11章 劃分和歸並.......................... 201
11.1劃分....................................201
11.2平衡的歸約................................207
11.3歸並....................................212
11.4總結....................................218
第12章 復閤對象........................... 219
12.1簡單復閤對象..............................219
12.2動態序列.................................227
12.3基礎類型.................................233
12.4總結....................................236
跋......................................... 237
附錄A 數學錶示............................ 241
附錄B 程序設計語言........................ 243
參考文獻................................... 253
索引....................................... 257
· · · · · · (收起)