计算机系统开创性经典文献选读与解析

图书标准信息

• 作者 刘宇航 包云岗 编著
• 出版社 机械工业出版社
• 出版时间 2023-07
• 版次 1
• ISBN 9787111728313
• 定价 109.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 436页
• 字数 569千字

【内容简介】

本书是国际上首次精选了14篇计算机科学的开创性的文献，用中文准确翻译，并逐段详细解析，每篇有整体解析、篇篇之间有呼应和联系，14 篇文献中覆盖了人工智能、计算理论、计算机体系结构、虚拟化、并行计算等方向，全书采用考据考证和文本细读的方法，在每篇内部、篇篇之间先分析后综合，形成一个有机的整体，对于追溯本源，进行原创性基础研究具有重要意义。

【目录】

目录

序一

序二

前言

第1章计算机器与智能

（艾伦·图灵，1950年）1

1.1模仿游戏3

1.2对新问题的评价5

1.3游戏中的机器7

1.4数字计算机11

1.5数字计算机的通用性17

1.6关于主要问题的对立观点21

1.6.1来自神学的异议23

1.6.2“鸵鸟”式的异议24

1.6.3来自数学的异议25

1.6.4来自意识的异议29

1.6.5来自各种能力缺陷的异议31

1.6.6来自洛芙莱斯夫人的异议34

1.6.7来自神经系统连续性的异议35

1.6.8来自行为非正式性的异议36

1.6.9来自超感官知觉的异议40

1.7具有学习能力的机器41

参考文献49

第2章论可计算数及其在判定性问题中的应用

（艾伦·图灵，1936年）51

2.1计算机器57

2.2定义58

2.2.1自动机58

2.2.2计算机器60

2.2.3循环机和非循环机61

2.2.4可计算序列和可计算数62

2.3计算机器的实例64

2.4简缩表68

2.5可计算序列的枚举73

2.6通用计算机器76

2.7通用机器的详细描述78

2.8对角线方法的应用81

2.9可计算数的范围 85

2.10可计算数的大类的实例89

2.11在判定性问题中的应用 95

附录可计算性和能行可计算性99

ⅩⅧ

ⅩⅦ

第3章关于EDVAC的报告初稿

（约翰·冯·诺依曼，1945年）103

3.1定义107

3.1.1自动数字计算系统107

3.1.2这种系统功能的准确描述107

3.1.3这种系统产生的数值信息与其输出结果的区别108

3.1.4校验和纠正故障（错误），自动识别和纠正故障的

可能性109

3.2系统的主要组成部分109

3.2.1细分需求109

3.2.2第一个特定部分：CA（中央算术运算器）109

3.2.3第二个特定部分：CC（中央控制部件）110

3.2.4第三个特定部分：M（存储器）的不同形式110

3.2.5第三个特定部分：M（存储器）的不同形式（续）111

3.2.6CA、CC（统称C）和M一起是关联部件。传入和

传出部件：输入和输出，调解与外部的联系。外部

记录介质：R111

3.2.7第四个特定部分：I（输入设备）112

3.2.8第五个特定部分：O（输出设备）112

3.2.9M和R的对比，考虑324节中的（a）~（h）113

3.3讨论的步骤114

3.3.1计划：讨论3.2节列举的所有组成部分

（特定部分），以及基本决策114

3.3.2需要对特定部分进行曲折讨论114

3.3.3自动校验错误114

ⅩⅧ

ⅩⅨ

3.4元件，同步，神经元类比114

3.4.1像继电器一样的元件的作用。实例：同步的作用115

3.4.2神经元、突触、兴奋性突触和抑制性突触115

3.4.3使用常规类型真空管的可取性116

3.5控制算术运算的原理117

3.5.1真空管元件：门或触发器117

3.5.2二进制与十进制118

3.5.3二进制乘法的反应时间119

3.5.4套叠式操作与节省设备119

3.5.5超高速（真空管）的作用：连续操作的原则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二进制数的输入方法：按时间顺序排列的数字125

3.7.2电子元件网络和块符号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二进制小数点133

3.9.1二进制小数点的主要作用：在乘法和除法中的作用133

3.9.2必须从乘积中省略多位数字。决策：仅限在-1和

1之间的数字133

3.9.3规划的结果。加、减、乘、除运算的规则134

3.9.4四舍五入：舍入规则和电路134