計算機系統(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關于主要問題的對立觀點21
1.6.1來自神學的異議23
1.6.2“鴕鳥”式的異議24
1.6.3來自數(shù)學的異議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具有學習能力的機器41
參考文獻49

第2章論可計算數(shù)及其在判定性問題中的應用
（艾倫·圖靈，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對角線方法的應用81
2.9可計算數(shù)的范圍 85
2.10可計算數(shù)的大類的實例89
2.11在判定性問題中的應用 95
附錄可計算性和能行可計算性99


ⅩⅧ

ⅩⅦ

第3章關于EDVAC的報告初稿
（約翰·馮·諾依曼，1945年）103
3.1定義107
3.1.1自動數(shù)字計算系統(tǒng)107
3.1.2這種系統(tǒng)功能的準確描述107
3.1.3這種系統(tǒng)產(chǎn)生的數(shù)值信息與其輸出結果的區(qū)別108
3.1.4校驗和糾正故障（錯誤），自動識別和糾正故障的
可能性109
3.2系統(tǒng)的主要組成部分109
3.2.1細分需求109
3.2.2第一個特定部分：CA（中央算術運算器）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一起是關聯(lián)部件。傳入和
傳出部件：輸入和輸出，調(diào)解與外部的聯(lián)系。外部
記錄介質(zhì)：R111
3.2.7第四個特定部分：I（輸入設備）112
3.2.8第五個特定部分：O（輸出設備）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控制算術運算的原理117
3.5.1真空管元件：門或觸發(fā)器117
3.5.2二進制與十進制118
3.5.3二進制乘法的反應時間119
3.5.4套疊式操作與節(jié)省設備119
3.5.5超高速（真空管）的作用：連續(xù)操作的原則120
3.5.6重構原則121
3.5.7原則的進一步討論121
3.6電子元件122
3.6.1引入假設的電子元件的原因122
3.6.2簡單電子元件的描述122
3.6.3同步，由中央時鐘門控123
3.6.4閾值的作用。具有多個閾值的電子元件。多倍延遲123
3.6.5與真空管的比較124
3.7加法和乘法算術運算的電路125
3.7.1二進制數(shù)的輸入方法：按時間順序排列的數(shù)字125

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

3.8減法和除法算術運算的電路130
3.8.1符號的處理130
3.8.2減法器130
3.8.3除法器：詳細結構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ī)劃的結果。加、減、乘、除運算的規(guī)則134
3.9.4四舍五入：舍入規(guī)則和電路134<>