《ACM图灵奖(1966~1999):计算机发展史的缩影》PDF下载

  • 购买积分:11 如何计算积分?
  • 作  者:吴鹤龄 崔林编
  • 出 版 社:高等教育出版社
  • 出版年份:2000
  • ISBN:
  • 页数:276 页
图书介绍:

目录 1

1966年图灵奖获得者:艾伦·佩利——ALG0L语言和计算机科学的“催生者” 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

附录 237

人名索引(NameIndex) 259

总索引(GeneralIndex) 265

参考文献 275