計算機系統(tǒng)開創(chuàng)性經(jīng)典文獻選讀與解析

目錄

序一
序二
前言

第1章計算機器與智能
（艾倫·圖靈，1950年）1
1.1模仿游戲3
1.2對新問題的評價5
1.3游戲中的機器7
1.4數(shù)字計算機11
1.5數(shù)字計算機的通用性17
1.6關(guān)于主要問題的對立觀點21
1.6.1來自神學(xué)的異議23
1.6.2“鴕鳥”式的異議24
1.6.3來自數(shù)學(xué)的異議25
1.6.4來自意識的異議29
1.6.5來自各種能力缺陷的異議31
1.6.6來自洛芙萊斯夫人的異議34
1.6.7來自神經(jīng)系統(tǒng)連續(xù)性的異議35
1.6.8來自行為非正式性的異議36
1.6.9來自超感官知覺的異議40
1.7具有學(xué)習(xí)能力的機器41
參考文獻49

第2章論可計算數(shù)及其在判定性問題中的應(yīng)用
（艾倫·圖靈，1936年）51
2.1計算機器57
2.2定義58
2.2.1自動機58
2.2.2計算機器60
2.2.3循環(huán)機和非循環(huán)機61
2.2.4可計算序列和可計算數(shù)62
2.3計算機器的實例64
2.4簡縮表68
2.5可計算序列的枚舉73
2.6通用計算機器76
2.7通用機器的詳細描述78
2.8對角線方法的應(yīng)用81
2.9可計算數(shù)的范圍 85
2.10可計算數(shù)的大類的實例89
2.11在判定性問題中的應(yīng)用 95
附錄可計算性和能行可計算性99


ⅩⅧ

ⅩⅦ

第3章關(guān)于EDVAC的報告初稿
（約翰·馮·諾依曼，1945年）103
3.1定義107
3.1.1自動數(shù)字計算系統(tǒng)107
3.1.2這種系統(tǒng)功能的準(zhǔn)確描述107
3.1.3這種系統(tǒng)產(chǎn)生的數(shù)值信息與其輸出結(jié)果的區(qū)別108
3.1.4校驗和糾正故障（錯誤），自動識別和糾正故障的
可能性109
3.2系統(tǒng)的主要組成部分109
3.2.1細分需求109
3.2.2第一個特定部分：CA（中央算術(shù)運算器）109
3.2.3第二個特定部分：CC（中央控制部件）110

3.2.4第三個特定部分：M（存儲器）的不同形式110
3.2.5第三個特定部分：M（存儲器）的不同形式（續(xù)）111
3.2.6CA、CC（統(tǒng)稱C）和M一起是關(guān)聯(lián)部件。傳入和
傳出部件：輸入和輸出，調(diào)解與外部的聯(lián)系。外部
記錄介質(zhì)：R111
3.2.7第四個特定部分：I（輸入設(shè)備）112
3.2.8第五個特定部分：O（輸出設(shè)備）112
3.2.9M和R的對比，考慮324節(jié)中的（a）~（h）113
3.3討論的步驟114
3.3.1計劃：討論3.2節(jié)列舉的所有組成部分
（特定部分），以及基本決策114
3.3.2需要對特定部分進行曲折討論114
3.3.3自動校驗錯誤114

ⅩⅧ

ⅩⅨ

3.4元件，同步，神經(jīng)元類比114
3.4.1像繼電器一樣的元件的作用。實例：同步的作用115
3.4.2神經(jīng)元、突觸、興奮性突觸和抑制性突觸115
3.4.3使用常規(guī)類型真空管的可取性116
3.5控制算術(shù)運算的原理117
3.5.1真空管元件：門或觸發(fā)器117
3.5.2二進制與十進制118
3.5.3二進制乘法的反應(yīng)時間119
3.5.4套疊式操作與節(jié)省設(shè)備119
3.5.5超高速（真空管）的作用：連續(xù)操作的原則120
3.5.6重構(gòu)原則121
3.5.7原則的進一步討論121
3.6電子元件122
3.6.1引入假設(shè)的電子元件的原因122
3.6.2簡單電子元件的描述122
3.6.3同步，由中央時鐘門控123
3.6.4閾值的作用。具有多個閾值的電子元件。多倍延遲123
3.6.5與真空管的比較124
3.7加法和乘法算術(shù)運算的電路125
3.7.1二進制數(shù)的輸入方法：按時間順序排列的數(shù)字125

3.7.2電子元件網(wǎng)絡(luò)和塊符號125
3.7.3加法器126
3.7.4乘法器：需要存儲器126
3.7.5討論存儲器127
3.7.6討論延遲128
3.7.7乘法器：詳細結(jié)構(gòu)128
3.7.8乘法器：進一步需求（時序、本地輸入和輸出）129

3.8減法和除法算術(shù)運算的電路130
3.8.1符號的處理130
3.8.2減法器130
3.8.3除法器：詳細結(jié)構(gòu)131
3.8.4除法器：進一步需求133
3.9二進制小數(shù)點133
3.9.1二進制小數(shù)點的主要作用：在乘法和除法中的作用133
3.9.2必須從乘積中省略多位數(shù)字。決策：僅限在-1和
1之間的數(shù)字133
3.9.3規(guī)劃的結(jié)果。加、減、乘、除運算的規(guī)則134
3.9.4四舍五入：舍入規(guī)則和電路134<>