《大师的智慧 十五位杰出电脑科学家的生平与发现》

《计算机文化译丛》1

第一编语言学家：怎样与机器对话1

第一章约翰·巴库斯：不知疲倦的发明家6

快速编码：在小“字”中计算大数11

Fortran：第一个高级计算机语言14

从他自己的发明中把程序设计解放出来25

第二章约翰·麦卡锡：研究一般常识的不一般的逻辑学家31

构造常识逻辑45

如此多的问题，这么少的办法53

第三章艾伦·凯：清晰而浪漫的眼光55

新思想的萌芽60

FLEX和Dynabook64

发明面向对象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