图灵和ACM图灵奖：纪念图灵百年诞辰

图书标准信息

• 作者 吴鹤龄、崔林 编
• 出版社 高等教育出版社
• 出版时间 2012-06
• 版次 4
• ISBN 9787040356526
• 定价 30.00元
• 装帧 平装
• 开本 32开
• 纸张 胶版纸
• 页数 355页
• 字数 330千字
• 正文语种 简体中文

【内容简介】

　　《图灵和ACM图灵奖（第4版）：纪念图灵百年诞辰》介绍了图灵及自1966年至今图灵奖的获得者的工作和事迹。通过对20世纪下半叶及21世纪初有代表性计算机科学家的介绍，多方位、多视角地反映计算机科学技术半个多世纪来的发展历程。《图灵和ACM图灵奖（第4版）：纪念图灵百年诞辰》在一定程度上反映了计算机体系结构、程序设计语言、算法设计与分析、操作系统和编译程序、数据库技术、计算复杂性理论、软件工程、人工智能等计算机科学技术主要分支的形成过程和发展概况。通过追寻成功者的足迹，给人以必要的启迪，读者可以从阅读中吸取成长和成功所必需的养分。

【作者简介】

　　吴鹤龄，1937年5月出生，籍贯上海市金山区。北京理工大学计算机学院教授。

　　1998年退休后从事科普创作，除本书及其姐妹篇《IEEE计算机先驱奖》外，尚有《好玩的数学》、《七巧板、九连环和华容道》、《囚徒的困境》、《迷宫趣话》、《魅力魔方》等多部原创作品或译作问世，分别获得2009年国家科学技术进步奖二等奖、第三届台湾吴大猷科普著作奖翻译类佳作奖、第一届中国科普作家协会优秀科普作品提名奖、北京市第四届优秀科普作品奖、“科学时报读书杯”科学文化？科学普及奖等多项奖励，《七巧板、九连环和华容道》2008年被文化部和财政部选中列入“送书下乡工程”，《迷宫趣话》入选国家新闻出版总署第二届“三个一百”原创优秀图书出版工程。

　　吴鹤龄被评为2010年北京市高校“育人标兵”、2011年北京市和全国教育系统“关心下一代工作先进工作者”。

【目录】

图灵和图灵奖

1966年图灵奖获得者：艾伦·佩利

———ALGOL语言和计算机科学的“催生者”

1967年图灵奖获得者：莫里斯·威尔克斯

———世界上第一台存储程序式计算机EDSAC的研制者

1968年图灵奖获得者：理查德·哈明

———发明纠错码的大数学家和信息学专家

1969年图灵奖获得者：马文·明斯基

———“人工智能之父”和框架理论的创立者

1970年图灵奖获得者：詹姆斯·威尔金森

———数值分析专家和研制ACE计算机的功臣

1971年图灵奖获得者：约翰·麦卡锡

———“人工智能之父”和LISP语言的发明人

1972年图灵奖获得者：埃德斯加·狄克斯特拉

———最先察觉“goto有害”的计算机科学大师

1973年图灵奖获得者：查尔斯·巴赫曼

———“网状数据库之父”

1974年图灵奖获得者：唐纳德·克努特

———经典巨著《计算机程序设计的艺术》的年轻作者

1975年图灵奖获得者：赫伯特·西蒙和艾伦·纽厄尔

———人工智能符号主义学派的创始人

1976年图灵奖获得者：米凯尔·拉宾和达纳·斯科特

———非确定性有限状态自动机理论的开创者

1977年图灵奖获得者：约翰·巴克斯

———FORTRAN和BNF的发明者

1978年图灵奖获得者：罗伯特·弗洛伊德

———前后断言法的创始人

1979年图灵奖获得者：肯尼思·艾弗森

———大器晚成的科学家,APL的发明人

1980年图灵奖获得者：查尔斯·霍尔

———从QUICKSORT、CASE到程序设计语言的公理化

1981年图灵奖获得者：埃德加·科德

———关系数据库之父

1982年图灵奖获得者：斯蒂芬·库克

———NP完全性理论的奠基人

1983年图灵奖获得者：肯尼思·汤普森和丹尼斯·里奇

———C和UNIX的发明者

1984年图灵奖获得者：尼克劳斯·沃思

———PASCAL之父及结构化程序设计的首创者

1985年图灵奖获得者：理查德·卡普

———发明“分枝限界法”的三栖学者

1986年图灵奖获得者：约翰·霍普克洛夫特和罗伯特·陶尔扬

———硕果累累的算法设计大师

1987年图灵奖获得者：约翰·科克

———RISC概念的首创者

1988年图灵奖获得者：伊万·萨瑟兰

———计算机图形学之父

1989年图灵奖获得者：威廉·卡亨

———浮点计算的先驱

1990年图灵奖获得者：费尔南多·考巴脱

———实现分时系统的功臣

1991年图灵奖获得者：罗宾·米尔纳

———标准元语言ML的开发者

1992年图灵奖获得者：巴特勒·兰普森

———从Alto系统的首席科学家到微软的首席技术官

1993年图灵奖获得者：尤里斯·哈特马尼斯和理查德·斯特恩斯

———计算复杂性理论的主要奠基人

1994年图灵奖获得者：爱德华·费根鲍姆和劳伊·雷迪

———大型人工智能系统的开拓者

1995年图灵奖获得者：曼纽尔·布卢姆

———计算复杂性理论的主要奠基人之一

1996年图灵奖获得者：阿米尔·伯努利

———把时态逻辑引入计算机科学

1997年图灵奖获得者：道格拉斯·恩格尔巴特

———鼠标器的发明人和超文本研究的先驱

1998年图灵奖获得者：詹姆斯·格雷

———数据库技术和“事务处理”专家

1999年图灵奖获得者：弗雷德里克·布鲁克斯

———IBM 360系列计算机的总设计师和总指挥

2000年图灵奖获得者：姚期智

———计算理论领域卓越的开拓者

2001年图灵奖获得者：奥尔-约翰·戴尔和克利斯登·奈加特

———挪威计算机科学家,面向对象技术奠基人

2002年图灵奖获得者：利维斯、沙米尔和阿德勒曼

———最具影响力的公钥密码算法RSA的发明人

2003年图灵奖获得者：艾伦·凯

———“个人计算机之父”及Smalltalk语言发明人

2004年图灵奖获得者：文登·塞夫和罗伯特·凯恩

———Internet基础通信协议TCP/IP之父

2005年图灵奖获得者：彼得·诺尔

———从天文学家到计算机科学家

2006年图灵奖获得者：弗朗西丝·爱伦

———编译器优化理论与实践的先驱

2007年图灵奖获得者：克拉克、埃默生和希法凯斯

———计算机辅助验证技术的先驱

2008年图灵奖获得者：芭芭拉·利斯科夫

———计算机程序设计语言和系统的先驱

2009年图灵奖获得者：查尔斯·萨克尔

———计算机系统架构的创新型设计大师

2010年图灵奖获得者：莱斯利·瓦利安特

———成果丰硕的理论计算机科学大师

2011年图灵奖获得者：朱迪·珀尔

———贝叶斯网络开创人工智能新天地

附录一 计算技术发展大事记（截至20世纪末）

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

人名索引（Name Index）

总索引（General Index）

参考文献