編程原本預(yù)售商品

譯者序
前言
關(guān)于作者
第1章  基礎(chǔ)................................ 11.1理念范疇:實(shí)體,類別,類屬.................1
1.2值.....................................2
1.3對(duì)象....................................4
1.4過(guò)程....................................6
1.5規(guī)范類型.................................7
1.6規(guī)范過(guò)程.................................8
1.7概念....................................10
1.8總結(jié)....................................14
第2章  變換及其軌道........................ 152.1變換....................................15
2.2軌道....................................18
2.3碰撞點(diǎn)...................................21
2.4軌道規(guī)模的度量.............................27
2.5動(dòng)作....................................28
2.6總結(jié)....................................29
第3章  可結(jié)合運(yùn)算.......................... 313.1可結(jié)合性.................................31
3.2計(jì)算乘冪.................................32
3.3程序變換.................................35
3.4處理特殊情況的過(guò)程..........................40
3.5參數(shù)化算法................................43
3.6線性遞歸.................................44
3.7累積過(guò)程.................................47
3.8總結(jié)....................................48
第4章  線性序................................ 494.1關(guān)系的分類................................49
4.2全序和弱序................................51
4.3按序選取.................................52
4.4自然全序.................................62
4.5派生過(guò)程組................................63
4.6按序選取過(guò)程的擴(kuò)展..........................63
4.7總結(jié)....................................64
第5章  有序代數(shù)結(jié)........................... 655.1基本代數(shù)結(jié)構(gòu)..............................65
5.2有序代數(shù)結(jié)構(gòu)..............................70
5.3求余....................................72
5.4最大公因子................................76
5.5廣義gcd..................................79
5.6Steingcd.................................81
5.7商.....................................82
5.8負(fù)量的商和余數(shù).............................84
5.9概念及其模型..............................87
5.10計(jì)算機(jī)整數(shù)類型.............................88
5.11結(jié)論....................................89
第6章  迭代器.............................. 916.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隨機(jī)訪問(wèn)迭代器.............................115
6.10總結(jié)....................................117
第7章坐標(biāo)結(jié)構(gòu).............................. 1197.1二叉坐標(biāo).................................119
7.2雙向二叉坐標(biāo)..............................123
7.3坐標(biāo)結(jié)構(gòu).................................129
7.4同構(gòu),等價(jià)和有序............................129
7.5總結(jié)....................................137
第8章  后繼可變的坐標(biāo)....................... 1398.1鏈接迭代器................................139
8.2鏈接重整.................................140
8.3鏈接重整的應(yīng)用.............................147
8.4鏈接的二叉坐標(biāo).............................151
8.5結(jié)論....................................155
第9章拷貝.................................. 1579.1可寫(xiě)性...................................157
9.2基于位置的拷貝.............................159
9.3基于謂詞的拷貝.............................166
9.4范圍的交換................................174
9.5總結(jié)....................................178
第10章  重整............................... 17910.1置換....................................179
10.2重整....................................182
10.3 反轉(zhuǎn)算法.................................184
10.4 輪換算法.................................188
10.5 算法選擇.................................196
10.6 總結(jié)....................................
200
第11章  劃分和歸并.......................... 20111.1劃分....................................201
11.2平衡的歸約................................207
11.3歸并....................................212
11.4總結(jié)....................................218
第12章  復(fù)合對(duì)象........................... 21912.1簡(jiǎn)單復(fù)合對(duì)象..............................219
12.2動(dòng)態(tài)序列.................................227
12.3基礎(chǔ)類型.................................233
12.4總結(jié)....................................236
跋......................................... 237附錄A  數(shù)學(xué)表示............................ 241附錄B  程序設(shè)計(jì)語(yǔ)言........................ 243參考文獻(xiàn)................................... 253索引....................................... 257