偉大的計(jì)算原理

Great Principles of Computing
出版者的話
譯者序
序
前言
第1章　作為科學(xué)的計(jì)算 1
計(jì)算的范型 5
計(jì)算的重要原理 9
計(jì)算在科學(xué)中的位置 12
本書的關(guān)注點(diǎn) 13
總結(jié) 14
致謝 14
第2章　計(jì)算領(lǐng)域 15
領(lǐng)域和基本原理 16
信息安全 19
人工智能 20
云計(jì)算 22
大數(shù)據(jù) 24
總結(jié) 26
第3章　信息 27
信息的表示 28
通信系統(tǒng) 30
信息的測(cè)量 34
信息的轉(zhuǎn)換 38
交互系統(tǒng) 40
解決悖論 41
信息和發(fā)現(xiàn) 42
總結(jié) 43
致謝 44
第4章　機(jī)器 45
機(jī)器 46
可以計(jì)算的機(jī)器 49
程序及其表示 53
棧式計(jì)算機(jī)：計(jì)算機(jī)系統(tǒng)的一種簡(jiǎn)單模型 54
過(guò)程與異常 56
選擇的不確定性 61
結(jié)論 64
第5章　程序設(shè)計(jì) 65
程序、程序員和程序設(shè)計(jì)語(yǔ)言 66
程序設(shè)計(jì)實(shí)踐 68
程序中的錯(cuò)誤 70
自動(dòng)翻譯 72
總結(jié) 76
第6章　計(jì)算 78
簡(jiǎn)單問(wèn)題 80
實(shí)例1　簡(jiǎn)單的線性搜索 81
實(shí)例2　二分搜索 81
實(shí)例3　排序 82
實(shí)例4　矩陣乘法 84
指數(shù)級(jí)困難問(wèn)題 85
實(shí)例5　所有的十位數(shù) 85
實(shí)例6　背包問(wèn)題 85
實(shí)例7　參觀所有城市 86
實(shí)例8　合數(shù)分解 87
計(jì)算困難但容易驗(yàn)證的問(wèn)題 88
NP完全 89
不可計(jì)算問(wèn)題 92
總結(jié) 96
第7章　存儲(chǔ) 98
存儲(chǔ)系統(tǒng) 99
存儲(chǔ)器的基本使用模型 100
命名 101
映射 105
虛擬存儲(chǔ) 105
共享 107
能力 108
認(rèn)證 111
層級(jí)結(jié)構(gòu)中的定位 112
為什么局部性是基礎(chǔ) 116
結(jié)論 117
第8章　并行 119
并行計(jì)算的早期方向 120
并行系統(tǒng)的模型 123
協(xié)作的順序進(jìn)程 124
功能系統(tǒng) 124
事件驅(qū)動(dòng)的系統(tǒng) 125
MapReduce系統(tǒng) 125
協(xié)作的順序進(jìn)程 125
功能系統(tǒng) 131
結(jié)論 134
第9章　排隊(duì) 136
排隊(duì)論遇上計(jì)算機(jī)科學(xué) 137
用模型計(jì)算和預(yù)測(cè) 139
服務(wù)器、作業(yè)、網(wǎng)絡(luò)和規(guī)則 140
瓶頸 144
平衡方程 146
ATM 147
電話交換機(jī) 148
分時(shí)系統(tǒng) 149
用模型來(lái)計(jì)算 150
結(jié)論 152
第10章　設(shè)計(jì) 154
什么是設(shè)計(jì) 156
軟件系統(tǒng)的準(zhǔn)則 158
需求 158
正確性 159
容錯(cuò)性 159
時(shí)效性 160
適用性 160
設(shè)計(jì)原理、模式和示意 161
原理 161
模式 162
示意 163
軟件系統(tǒng)的設(shè)計(jì)原理 163
層級(jí)式聚合 164
封裝 165
級(jí)別 166
虛擬機(jī) 168
對(duì)象 170
客戶端與服務(wù)器 171
總結(jié) 172
第11章　網(wǎng)絡(luò) 173
彈性網(wǎng)絡(luò) 174
數(shù)據(jù)包交換 175
互聯(lián)網(wǎng)絡(luò)協(xié)議 178
傳輸控制協(xié)議 179
客戶端與服務(wù)器 180
域名系統(tǒng) 181
網(wǎng)絡(luò)軟件的組織結(jié)構(gòu) 183
萬(wàn)維網(wǎng) 184
網(wǎng)絡(luò)科學(xué) 187
致謝 188
第12章　后記 189
沒(méi)有意識(shí)的機(jī)器 189
智能機(jī)器 189
架構(gòu)和算法 191
經(jīng)驗(yàn)思維 192
一個(gè)嶄新的機(jī)器時(shí)代來(lái)臨 192
我們的思維方式正在轉(zhuǎn)變 193
設(shè)計(jì)的核心性 193
各章概要 195
注釋 200
參考文獻(xiàn) 213
索引 227