ACM图灵奖 1966-1999 计算机发展史的缩影PDF电子书下载

图灵和图灵奖 1

历届图灵奖获得者介绍 16

1966年图灵奖获得者：艾伦·佩利——ALGOL 语言和计算机科学的“催生者” 16

1967年图灵奖获得者：莫里斯·威尔克斯——世界上第一台存储程序式计算机 EDSAC 的研制者 23

1968年图灵奖获得者：理查德·哈明——发明纠错码的大数学家和信息学专家 29

1969年图灵奖获得者：马文·明斯基——“人工智能之父”和框架理论的创立者 35

1970年图灵奖获得者：詹姆斯·威尔金森——数值分析专家和研制 ACE 计算机的功臣 41

1971年图灵奖获得者：约翰·麦卡锡——“人工智能之父”和 LISP 语言的发明人 47

1972年图灵奖获得者：埃德斯加·狄克斯特拉——最先察觉“goto 有害”的计算机科学大师 54

1973年图灵奖获得者：查尔斯·巴赫曼——“网状数据库之父” 62

1974年图灵奖获得者：唐纳德·克努特——经典巨著《计算机程序设计的艺术》的年轻作者 68

1975年图灵奖获得者：赫伯特·西蒙和艾伦·纽厄尔——人工智能符号主义学派的创始人 77

1976年图灵奖获得者：米凯尔·拉宾和达纳·斯科特——非确定性有限状态自动机理论的开创者 91

1977年图灵奖获得者：约翰·巴克斯——FORTRAN 和 BNF 的发明者 100

1978年图灵奖获得者：罗伯特·弗洛伊德——前后断言法的创始人 108

1979年图灵奖获得者：肯尼思·艾弗森——大器晚成的科学家，APL 的发明人 113

1980年图灵奖获得者：查尔斯·霍尔——从 QUICKSORT、CASE 到程序设计语言的公理化 117

1981年图灵奖获得者：埃德加·科德——“关系数据库之父” 126

1982年图灵奖获得者：斯蒂芬·库克——NP 完全性理论的奠基人 130

1983年图灵奖获得者：肯尼思·汤普森和丹尼斯·里奇——C 和 UNIX 的发明者 134

1984年图灵奖获得者：尼克劳斯·沃思——PASCAL 之父及结构化程序设计的首创者 143

1985年图灵奖获得者：理查德·卡普——发明“分枝限界法”的三栖学者 152

1986年图灵奖获得者：约翰·霍普克洛夫特和罗伯特·陶尔扬——硕果累累的算法设计大师 158

1987年图灵奖获得者：约翰·科克——RISC 概念的首创者 168

1988年图灵奖获得者：伊万·萨瑟兰——计算机图形学之父 172

1989年图灵奖获得者：威廉·卡亨——浮点计算的先驱 176

1990年图灵奖获得者：费尔南多·考巴脱——实现分时系统的功臣 180

1991年图灵奖获得者：罗宾·米尔纳——标准元语言 ML 的开发者 185

1992年图灵奖获得者：巴特勒·兰普森——从 Alto 系统的首席科学家到微软的首席技术官 191

1993年图灵奖获得者：尤里斯·哈特马尼斯和理查德·斯特恩斯——计算复杂性理论的主要奠基人 196

1994年图灵奖获得者：爱德华·费根鲍姆和劳伊·雷迪——大型人工智能系统的开拓者 202

1995年图灵奖获得者：曼纽尔·布卢姆——计算复杂性理论的主要奠基人之一 209

1996年图灵奖获得者：阿米尔·伯努利——把时态逻辑引入计算机科学 213

1997年图灵奖获得者：道格拉斯·恩格尔巴特——鼠标器的发明人和超文本研究的先驱 218

1998年图灵奖获得者：詹姆斯·格雷——数据库技术和“事务处理”专家 223

1999年图灵奖获得者：弗雷德里克·布鲁克斯——IBM360系列计算机的总设计师和总指挥 229

2000年图灵奖获得者：姚期智——计算理论领域卓越的开拓者 237

2001年图灵奖获得者：奥尔-约翰·戴尔和克利斯登·奈加特——挪威计算机科学家，面向对象技术奠基人 243

附录 计算技术发展大事记 252

人名索引 274

总索引 281

参考文献 292