《计算机文化译丛》 1
第一编语言学家：怎样与机器对话 1
第一章约翰·巴库斯：不知疲倦的发明家 6
快速编码：在小“字”中计算大数 11
Fortran：第一个高级计算机语言 14
从他自己的发明中把程序设计解放出来 25
第二章约翰·麦卡锡：研究一般常识的不一般的逻辑学家 31
构造常识逻辑 45
如此多的问题，这么少的办法 53
第三章艾伦·凯：清晰而浪漫的眼光 55
新思想的萌芽 60
FLEX和Dynabook 64
发明面向对象 69
Smalltalk语言：孩子们成了设计师 70
把学校翻个个儿 73
第二编算法学家：怎样迅速地解决问题 75
第四章艾得斯伽·狄克斯特拉：可怕的散文和最短路径 80
最短路径 84
临界区问题 88
哲学家进餐问题 91
狄克斯特拉在美国 94
深入到数学的核心 95
第五章迈克尔·拉宾：机会的可能性 100
图灵和可计算性 103
进行猜测的计算机 107
计算的固有难度 115
掷硬币的计算机 121
追求随机化 128
第六章高德纳：无尽的兴趣，共同的线索 130
从阿尔弗雷德·纽曼到冯·诺依曼 131
程序设计的艺术 136
编译器 137
属性文法 139
精确分析 141
字形 146
第七章罗伯特·陶尔扬：寻找优秀的结构 150
图是可平面化的吗？ 153
应用深度优先搜索 156
合并搜索问题和分摊 161
最大网络流 166
竞争力 169
持久性数据结构 171
工作的模式 173
第八章莱斯利·兰波特：时间、空间和计算 175
面包房算法 183
时间和分布系统：兰波特时钟 188
证明容错系统 192
验证还是不验证 197
拾零 201
第九章斯蒂夫·库克和利奥尼德·莱文：好办法难找 203
斯蒂夫·库克：逻辑和西方传统 208
可满足性 211
定义NP完全问题 213
一个（几乎）永恒的话题 215
利奥尼德·莱文：柯尔莫哥洛夫传统 217
柯尔莫哥洛夫复杂性 222
库克和莱文——NP完全问题以后 225
很大的问题 227
第三编体系结构设计师：怎样制造更好的机器 230
第十章弗雷德里克·布鲁克斯：让机器工作的兴奋 234
第十一章伯顿·史密斯：与光速赛跑 254
凌乱的弹射路线 256
装配线、向量和数据流 258
慢内存遇上快处理器 263
热土豆式路由 266
Tera机 268
“微型杀手”的进攻 270
第十二章丹尼尔·希利斯：生物连接 273
在森林地带 274
硅片里的进化：创造人工生命 288
第四编 机器智能的雕塑师怎样让机器聪明起来 295
第十三章艾德华·费根堡姆：知识的力量 298
卡耐基时代 300
第一个专家系统 306
知识原理 312
第十四章道格拉斯·勒纳特：一场20年的赌 319
超越“帽子”年级 320
AM系统：寻找合适的启发式方法 328
Cyc：以常识装备计算机 333
Cyc系统和对它的批评 340
结束语：成功有秘密吗？ 350
附笔：下一个25年 357
术语汇编 362
计算机科学大事记 391