搜索
高级检索
高级搜索
书       名 :
著       者 :
出  版  社 :
I  S  B  N:
文献来源:
出版时间 :
计算机系统开创性经典文献选读与解析
0.00     定价 ¥ 109.00
图书来源: 浙江图书馆(由浙江新华配书)
此书还可采购25本,持证读者免费借回家
  • 配送范围:
    浙江省内
  • ISBN:
    9787111728313
  • 作      者:
    编者:刘宇航//包云岗|责编:姚蕾
  • 出 版 社 :
    机械工业出版社
  • 出版日期:
    2023-07-01
收藏
内容介绍
本书是国际上首次精选了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章 计算机与人脑
(约翰·冯·诺依曼,1955年)
第5章 论以单处理器的方式实现大规模计算能力的有效性
第6章 多高速缓存系统中一致性问题的一个新解决方案
(卢西恩·M.申瑟等,1978年)
第7章 第三代体系结构可虚拟化的形式化条件
(杰拉尔德·J.波佩克等,1974年)
第8章 将更多的元件填塞到集成电路上
(戈登·E.摩尔,1965年)
第9章 支持精简指令集计算机的理由
(大卫·A.帕特森等,1980年)
第10章 存储墙问题及其反思
(威廉·A.沃尔夫等,1994年)304
第11章 基础数据流处理器的初步架构
(杰克·B.丹尼斯等,1974年)
第12章 廉价磁盘冗余阵列的实例
(大卫·A.帕特森等,1988年)
第13章 微处理器的未来
(虞有澄,1996年)
第14章 微处理器的未来
(谢哈尔·博尔卡尔等,2011年)
术语汉英对照
参考文献
展开
加入书架成功!
收藏图书成功!
我知道了(3)
发表书评
读者登录

请选择您读者所在的图书馆

选择图书馆
浙江图书馆
点击获取验证码
登录
没有读者证?在线办证