了得網計算機/網絡_函數程序設計算法 [美] 約翰·大衛·斯通（John David Stone）

●出版者的話
譯者序
前言
章基本符號1
1.1簡單值1
1.2標識符和表達式3
1.3函數和過程4
1.4算術函數5
1.4.1加法5
1.4.2減法5
1.4.3乘法6
1.4.4除法6
1.4.5冪運算7
1.4.6過程總結7
1.5過程調用9
1.6λ表達式10
1.6過程11
1.6.2構建列表13
1.6.3返回多個值13
1.6.4沒有結果的計算14
1.7謂詞15
1.7.1分類謂詞16
1.7.2相等謂詞16
1.7.3相等和類型16
1.8條件類型表達式19
1.8.1條件表達式19
1.8.2合取表達式與析取表達式19
1.9定義21
1.9.1過程定義21
1.9.2遞歸定義22
1.10局部綁定23
1.10.1局部過程24
1.10.2局部遞歸24
1.10.3收納表達式25
第2章工具箱27
2.1列表映射27
2.2常量過程28
2.3過程節選29
2.3.1invoke過程30
2.3.2卡瑞化31
2.4耦合器32
2.4.1過程復合32
2.4.2並行應用33
2.4.3調度34
2.5適配器35
2.5.1選擇35
2.5.2重排36
2.5.3預處理和後處理36
2.6遞歸管理器38
2.6.1recur過程39
2.6.2遞歸謂詞40
2.6.3迭代41
2.7歐幾裡得算法44
2.8高階布爾過程47
2.8.1布爾值和謂詞上的操作47
2.8.2^if過程47
2.9自然數和遞歸49
2.9.1數學歸納法49
2.9.2自然數上的遞歸49
2.9.3計數53
2.9.4有界推廣54
第3章數據結構56
3.1建模56
3.2空值57
3.3和類型57
3.3.1枚舉57
3.3.2可區分並集58
3.3.3遞歸類型方程59
3.4有序對60
3.4.1命名對61
3.4.2積類型61
3.4.3再議可區分並集62
3.4.4重新實現自然數62
3.5盒64
3.6列表66
3.6.1選擇過程67
3.6.2同構列表68
3.6.3列表的遞歸過程69
3.6.4列表歸納原理70
3.6.5列表遞歸管理71
3.6.6展開73
3.7列表算法77
3.數擴展77
3.7.2篩選和劃分79
3.7.3子列表80
3.7.4位置選擇81
3.7.素上的謂詞擴展到列表82
3.7.6轉置、壓縮和解壓縮83
3.7.7聚合多個結果84
3.8源89
3組98
3.9.1建立模型99
3.9.2記錄類型99
3.10樹101
3.10.1樹歸納原理103
3.10.2樹遞歸管理103
3.11灌木109
3.11.1灌木歸納原理110
3.11.2灌木遞歸管理110
3.12包113
3.12.1基本包過程114
3.12.2包操作115
3.12.3包遞歸管理116
3.13等價關繫120
3.14集合123
3.14.1集合遞歸管理124
3.14.2篩選和劃分125
3.14.3其他集合運算126
3.14.4並集、交集和差集127
3.15表132
3.16緩衝區138
第4章排序142
4.1序關繫142
4.1.1隱式定義的等價關繫142
4.1.2測試一個列表是否有序143
4.1.3查找極值143
4.1.4復合序關繫145
4.1.5字典序145
4.2排序算法148
4.2.1插入排序149
4.2.2選擇排序149
4.2.3快速排序150
4.2.4歸並排序150
4.3二叉搜索樹153
4.3.1測試二叉搜索樹不變量154
4.3.2從二叉搜索樹中提取一個值155
4.3.3二叉搜索樹排序156
4.4紅黑樹158
4.4.1實現紅黑樹159
4.4.2顏色翻轉和旋轉160
4.4.3插入161
4.4.4查找163
4.4.5刪除163
4.4.6用紅黑樹實現表168
4.5堆175
4.5.1折疊和展開堆178
4.5.2堆排序178
4.6序統計量181
第5章組合構造183
5.1笛卡兒積183
5.1.1笛卡兒積排序185
5.1.2排位和去排位186
5.2列表選擇189
5.2.1子列表189
5.2.2分組193
5.2.3子序列和選擇194
5.3包選擇199
5.4排列201
5.5劃分204
5.5.1包劃分204
5.5.2劃分自然數206
第6章圖208
6.1圖的實現208
6.1.1圖的構造209
6.1.2圖與關繫211
6.1.3圖的性質212
6.1.4其他圖訪問方法213
6.1.5無向圖215
6.2深度優先遍歷221
6.2.1圖的遍歷221
6.2.2深度優先222
6.2.3拓撲排序223
6.2.4可到達結點223
6.3路徑225
6.4廣度優先遍歷227
6.5生成樹229
6.6最短路徑233
6.6.1Bellman-Ford算法233
6.6.2Dijkstra算法234
6.6.3Floyd-Warshall算法235
6.7流網絡239
第7章子列表搜索244
7.1簡單低效的算法244
7.2Knuth-Morris-Pratt算法246
7.3Boyer-Moore算法253
7.4Rabin-Karp算法255
附錄A推薦讀物260
附錄B(afpprimitives)庫261
附錄C如何使用AFP庫263

商品搜索

商品分类

【醫學】

【各大出版社】