《图灵和ACM图灵奖 第4版 纪念图灵百年诞辰》PDF下载

  • 购买积分:13 如何计算积分?
  • 作  者:吴鹤龄,崔林编著
  • 出 版 社:北京:高等教育出版社
  • 出版年份:2012
  • ISBN:9787040356526
  • 页数:357 页
图书介绍:在计算机和互联网日益普及的情况下,各个专业的学生都应该对计算机科学技术发展的历史有一定程度的了解,也可以从顶级计算机科学家成长和成功的经验教训和他们的创新精神中吸取有益的养分。本书第一版是作为高等教育出版社向2000年8月在北京召开的第16届世界计算机大会献礼的图书出版的。出版以来,受到高校中计算机专业的师生和IT从业人员的关注,他们反映,这两部“不是教材的教材”较好地把科技与人文结合在一起,通过对获奖的顶级计算机科学家的介绍,不但使读者对计算机科学技术的发展史有了一定程度的了解,还使读者在“如何做人”和“如何做学问”这两方面受到启发,为读者提供了范例,树立了榜样。目前已有若干高校把这两本书列入“大学生必读书目”。这次第三版,除了新增从2002年到2006年的获奖者8人以外,还对部分原获奖者的介绍作了增补或修改。增补或修改有以下几种情况:一是因自然的原因而出现变化,例如有若干名获奖者在近几年先后去世;二是由于发现了新的材料;三是更正个别不太确切的叙述。总之,本书新版力求真实,力求精益求精,力求与时俱进,力求更加满足读者的需要。

图灵和图灵奖 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1981年图灵奖获得者:埃德加·科德——关系数据库之父 132

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2002年图灵奖获得者:利维斯、沙米尔和阿德勒曼——最具影响力的公钥密码算法RSA的发明入 259

2003年图灵奖获得者:艾伦·凯——“个人计算机之父”及Smalltalk语言发明人 264

2004年图灵奖获得者:文登·塞夫和罗伯特·凯恩——Internet基础通信协议TCP/IP之父 268

2005年图灵奖获得者:彼得·诺尔——从天文学家到计算机科学家 278

2006年图灵奖获得者:弗朗西斯·爱伦——编译器优化理论与实践的先驱 281

2007年图灵奖获得者:克拉克、埃默生和希法凯斯——计算机辅助验证技术的先驱 285

2008年图灵奖获得者:芭芭拉·利斯科夫——计算机程序设计语言和系统的先驱 292

2009年图灵奖获得者:查尔斯·萨克尔——计算机系统架构的创新型设计大师 298

2010年图灵奖获得者:莱斯利·瓦利安特——成果丰硕的理论计算机科学大师 303

2011年图灵奖获得者:朱迪·珀尔——贝叶斯网络开创人工智能新天地 307

附录一 计算技术发展大事记(截至20世纪末) 312

附录二 向计算机专业师生推荐两本好书 335

人名索引(Name Index) 338

总索引(General Index) 345

参考文献 356