大师的智慧 十五位杰出电脑科学家的生平与发现PDF电子书下载

《计算机文化译丛》 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