ACM图灵奖:1966-2006(第三版)计算机发展史的缩影

罗旭·哈尔滨工程大学
2016-04-23
阅读数3987

向那些为了我们社会进步的科学家致敬



中文名: ACM图灵奖:1966-2006(第三版)计算机发展史的缩影

资源格式: PDF

发行时间: 2008年01月

地区: 大陆

语言: 简体中文



简介:



 




ACM图灵奖



 



 



 



 



 



 



 



 



 



 



 



 



内容简介:

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

        





目录



                        图灵和图灵奖1

历届图灵奖获得者介绍

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年图灵奖获得者:弗朗西丝·爱伦

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

附录一计算技术发展大事记

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

人名索引(Name Index)

总索引(General Index)

参考文献



链接: http://pan.baidu.com/s/1i5uDftb 密码: 49t3





本资料来自互联网,属于免费资源,不得用于商业用途,如果喜欢请购买正版

别默默的看了,快来和大家聊聊吧,登录后回答问题~ 登录 立即注册
赛氪APP全新升级

下载赛氪APP

参加有趣活动,获得赛程提醒

分享大学生活,获得前辈指点

意见反馈

产品建议、功能吐槽、使用问题…

欢迎提出关于赛氪网的问题和建议 :)

微信公众号
关注赛氪订阅号
微信服务号
关注赛氪服务号
温馨提示

非常抱歉!本站不支持旧版本IE浏览器~~建议使用IE10/IE11/Chrome/Firefox/Safari等高级浏览器浏览。

温馨提示
温馨提示
帮助与反馈

热门问题