-
-
- 计算机系统开创性经典文献选读与解析(双色版)
-
- 作者：编者:刘宇航//包云岗|责编:姚蕾//郎亚妹
- 出版社：机械工业
- ISBN：9787111777311
-
售价：39.6
-
内容大纲
本书精心选择了计算机系统领域的14篇开创性经典文献，并用中文准确翻译，结合编者自身的理论研究和工程实践，针对14篇文献给出了独到的分析和评论。全书涵盖了人工智能、可计算理论、计算机体系结构、虚拟化、并行计算等细分角度和方向，采用考据考证和文本细读的方法，在每篇内部、篇篇之间先分析后综合，形成一个有机的整体，对于追溯本源、进行原创性基础研究具有重要意义。
本书可作为计算机专业大学生和研究生的教材、教辅读物，也可供非计算机专业的学生、信息技术在职研究人员和工程师参考使用。
-
作者介绍
-
目录
序一
序二
前言
第1章 计算机器与智能
（艾伦·图灵，1950年）
1.1 模仿游戏
1.2 对新问题的评价
1.3 游戏中的机器
1.4 数字计算机
1.5 数字计算机的通用性
1.6 关于主要问题的对立观点
1.6.1 来自神学的异议
1.6.2 “鸵鸟”式的异议
1.6.3 来自数学的异议
1.6.4 来自意识的异议
1.6.5 来自各种能力缺陷的异议
1.6.6 来自洛夫莱斯夫人的异议
1.6.7 来自神经系统连续性的异议
1.6.8 来自行为非正式性的异议
1.6.9 来自超感官知觉的异议
1.7 具有学习能力的机器
参考文献
思考题
第2章 论可计算数及其在判定性问题中的应用
（艾伦·图灵，1936年）
2.1 计算机器
2.2 定义
2.2.1 自动机
2.2.2 计算机器
2.2.3 循环机和非循环机
2.2.4 可计算序列和可计算数
2.3 计算机器的实例
2.4 简缩表
2.5 可计算序列的枚举
2.6 通用计算机器
2.7 通用机器的详细描述
2.8 对角线方法的应用
2.9 可计算数的范围
2.10 可计算数的大类的实例
2.11 在判定性问题中的应用
附录 可计算性和能行可计算性
思考题
第3章 关于EDVAC的报告初稿
（约翰·冯·诺依曼，1945年）
3.1 定义
3.1.1 自动数字计算系统
3.1.2 这种系统功能的准确描述
3.1.3 这种系统产生的数值信息与其输出结果的区别
3.1.4 校验和纠正故障（错误），自动识别和纠正故障的可能性
3.2 系统的主要组成部分
3.2.1 细分需求
3.2.2 第一个特定部分：CA（中央算术运算器）
3.2.3 第二个特定部分：CC（中央控制部件）
……
第4章 计算机与人脑
第5章 论以单处理器的方式实现大规模计算能力的有效性
第6章 多高速缓存系统中一致性问题的一个新解决方案
第7章 第三代体系结构可虚拟化的形式化条件
第8章 将更多的元件填塞到集成电路上
第9章 支持精简指令集计算机的理由
第10章 存储墙问题及其反思
第11章 基础数据流处理器的初步架构
第12章 廉价磁盘冗余阵列的实例
第13章 微处理器的未来
第14章 微处理器的未来
术语汉英对照
参考文献
[
