![]()
内容推荐 本书是国际上首次精选了14篇计算机科学的开创性的文献,用中文准确翻译,并逐段详细解析,每篇有整体解析、篇篇之间有呼应和联系,14篇文献中覆盖了人工智能、计算理论、计算机体系结构、虚拟化、并行计算等方向,全书采用考据考证和文本细读的方法,在每篇内部、篇篇之间先分析后综合,形成一个有机的整体,对于追溯本源,进行原创性基础研究具有重要意义。 作者简介 包云岗,中国科学院计算技术研究所副所长、研究员,中国科学院大学计算机学院副院长,担任中国开放指令生态(RISC-V)联盟秘书长、RISC-V国际基金会理事会成员、中国计算机学会(CCF)开源发展委员会副主任。近年来带领团队在国内率先开展了一系列开源芯片实践,包括开源高性能RISC-V处理器核“香山”项目、“一生一芯”计划等,该团队也成为国际上开源处理器芯片方向的主要科研团队之一。曾获CCF-IEEE CS青年科学家奖、北京市“最美科技工作者”、共青团中央“全国向上向善好青年”等荣誉。 目录 序一 序二 前言 第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年) 术语汉英对照 参考文献 |