注册 登录 进入教材巡展
#
  • #
  • #

出版时间:2016年9月

出版社:高等教育出版社

以下为《图灵和ACM图灵奖(第5版)》的配套数字资源,这些资源在您购买图书后将免费附送给您:
  • 高等教育出版社
  • 9787040463071
  • 5
  • 240220
  • 平装
  • 32开
  • 2016年9月
  • 330
  • 406
  • 工学
  • 计算机科学与技术
作者简介
吴鹤龄,北京理工大学计算机学院教授。除本书及其姐妹篇《IEEE计算机先驱奖》外,尚有《好玩的数学》、《七巧板、九连环和华容道》、《囚徒的困境》等多部原创作品或译作问世,分别获得2009年国家科学技术进步奖二等奖、第三届台湾吴大猷科普著作奖翻译类佳作奖等多项奖励。
查看全部
内容简介

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

目录

 前辅文
 图灵和图灵奖
  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的开发者210
  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年图灵奖获得者:朱迪·珀尔——贝叶斯网络开创人工智能新天地
  2012年图灵奖获得者:西尔维·米卡利和莎菲·戈德瓦瑟——现代密码学数学基础的奠定者
  2013年图灵奖获得者:莱斯利·兰波特——分布式计算原理之父
  2014年图灵奖获得者:迈克尔·斯通布雷克——享有盛誉的数据库专家
  2015年图灵奖获得者:惠特菲尔特·迪菲和马丁·赫尔曼——密码学新纪元的开拓者
 附录一 计算技术发展大事记(截至20世纪末)
 附录二 向计算机专业师生推荐两本好书
 人名索引(Name Index)
 总索引(General Index)
 参考文献