ACM图灵奖 1966-1999 计算机发展史的缩影2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

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