![图灵和ACM图灵奖 纪念计算机诞生70周年 1966-2015 第5版](https://cover.qianqiantushu.cc/91/s6b2c786.jpg)
![图灵和ACM图灵奖 纪念计算机诞生70周年 1966-2015 第5版](https://cover.qianqiantushu.cc/91/s6b2c786.jpg)
图灵和ACM图灵奖 纪念计算机诞生70周年 1966-2015 第5版PDF电子书下载
- 电子书积分:14 积分如何计算积分?
- 作 者:吴鹤龄,崔林
- 出 版 社:北京:高等教育出版社
- 出版年份:2016
- ISBN:9787040463071
- 页数:406 页
图灵和图灵奖 1
1966年图灵奖获得者:艾伦·佩利——ALGOL语言和计算机科学的“催生者” 24
1967年图灵奖获得者:莫里斯·威尔克斯——世界上第一台存储程序式计算机EDSAC的研制者 32
1968年图灵奖获得者:理查德·哈明——发明纠错码的大数学家和信息学专家 39
1969年图灵奖获得者:马文·明斯基——“人工智能之父”和框架理论的创立者 45
1970年图灵奖获得者:詹姆斯·威尔金森——数值分析专家和研制ACE计算机的功臣 51
1971年图灵奖获得者:约翰·麦卡锡——“人工智能之父”和LISP语言的发明人 57
1972年图灵奖获得者:埃德斯加·狄克斯特拉——最先察觉“goto有害”的计算机科学大师 65
1973年图灵奖获得者:查尔斯·巴赫曼——“网状数据库之父” 74
1974年图灵奖获得者:唐纳德·克努特——经典巨著《计算机程序设计的艺术》的年轻作者 80
1975年图灵奖获得者:赫伯特·西蒙和艾伦·纽厄尔——人工智能符号主义学派的创始人 91
1976年图灵奖获得者:米凯尔·拉宾和达纳·斯科特——非确定性有限状态自动机理论的开创者 106
1977年图灵奖获得者:约翰·巴克斯——FORTRAN和BNF的发明者 116
1978年图灵奖获得者:罗伯特·弗洛伊德——前后断言法的创始人 125
1979年图灵奖获得者:肯尼思·艾弗森——大器晚成的科学家,APL的发明人 131
1980年图灵奖获得者:查尔斯·霍尔——从QUICKSORT、CASE到程序设计语言的公理化 136
1981年图灵奖获得者:埃德加·科德——关系数据库之父 146
1982年图灵奖获得者:斯蒂芬·库克——NP完全性理论的奠基人 150
1983年图灵奖获得者:肯尼思·汤普森和丹尼斯·里奇——C和UNIX的发明者 155
1984年图灵奖获得者:尼克劳斯·沃思——PASCAL之父及结构化程序设计的首创者 165
1985年图灵奖获得者:理查德·卡普——发明“分支限界法”的三栖学者 174
1986年图灵奖获得者:约翰·霍普克洛夫特和罗伯特·陶尔扬——硕果累累的算法设计大师 181
1987年图灵奖获得者:约翰·科克——RISC概念的首创者 193
1988年图灵奖获得者:伊万·萨瑟兰——计算机图形学之父 197
1989年图灵奖获得者:威廉·卡亨——浮点计算的先驱 201
1990年图灵奖获得者:费尔南多·考巴脱——实现分时系统的功臣 205
1991年图灵奖获得者:罗宾·米尔纳——标准元语言ML的开发者 210
1992年图灵奖获得者:巴特勒·兰普森——从Alto系统的首席科学家到微软的首席技术官 216
1993年图灵奖获得者:尤里斯·哈特马尼斯和理查德·斯特恩斯——计算复杂性理论的主要奠基人 222
1994年图灵奖获得者:爱德华·费根鲍姆和劳伊·雷迪——大型人工智能系统的开拓者 229
1995年图灵奖获得者:曼纽尔·布卢姆——计算复杂性理论的主要奠基人之一 236
1996年图灵奖获得者:阿米尔·伯努利——把时态逻辑引入计算机科学 240
1997年图灵奖获得者:道格拉斯·恩格尔巴特——鼠标器的发明人和超文本研究的先驱 245
1998年图灵奖获得者:詹姆斯·格雷——数据库技术和“事务处理”专家 250
1999年图灵奖获得者:弗雷德里克·布鲁克斯——IBM 360系列计算机的总设计师和总指挥 257
2000年图灵奖获得者:姚期智——计算理论领域卓越的开拓者 265
2001年图灵奖获得者:奥尔-约翰·戴尔和克利斯登·奈加特——挪威计算机科学家,面向对象技术奠基人 271
2002年图灵奖获得者:利维斯、沙米尔和阿德勒曼——最具影响力的公钥密码算法RSA的发明人 281
2003年图灵奖获得者:艾伦·凯——“个人计算机之父”及Smalltalk语言发明人 286
2004年图灵奖获得者:文登·塞夫和罗伯特·凯恩——Internet基础通信协议TCP/IP之父 290
2005年图灵奖获得者:彼得·诺尔——从天文学家到计算机科学家 301
2006年图灵奖获得者:弗朗西斯·爱伦——编译器优化理论与实践的先驱 304
2007年图灵奖获得者:克拉克、埃默生和希法凯斯——计算机辅助验证技术的先驱 308
2008年图灵奖获得者:芭芭拉·利斯科夫——计算机程序设计语言和系统的先驱 315
2009年图灵奖获得者:查尔斯·萨克尔——计算机系统架构的创新型设计大师 321
2010年图灵奖获得者:莱斯利·瓦利安特——成果丰硕的理论计算机科学大师 326
2011年图灵奖获得者:朱迪·珀尔——贝叶斯网络开创人工智能新天地 331
2012年图灵奖获得者:西尔维·米卡利和莎菲·戈德瓦瑟——现代密码学数学基础的奠定者 336
2013年图灵奖获得者:莱斯利·兰波特——分布式计算原理之父 342
2014年图灵奖获得者:迈克尔·斯通布雷克——享有盛誉的数据库专家 347
2015年图灵奖获得者:惠特菲尔特·迪菲和马丁·赫尔曼——密码学新纪元的开拓者 352
附录一 计算技术发展大事记(截至20世纪末) 358
附录二 向计算机专业师生推荐两本好书 382
人名索引(Name Index) 385
总索引(General Index) 393
参考文献 406
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《赵松乔先生百年诞辰纪念文集》《赵松乔先生百年诞辰纪念文集》编辑组 2019
- 《计算机辅助平面设计》吴轶博主编 2019
- 《计算机组成原理解题参考 第7版》张基温 2017
- 《云计算节能与资源调度》彭俊杰主编 2019
- 《Helmholtz方程的步进计算方法研究》李鹏著 2019
- 《计算机组成原理 第2版》任国林 2018
- 《大学计算机信息技术教程 2018版》张福炎 2018
- 《X的诞生》雁北堂主编 2019
- 《如何做好新时代的家长》饶鹤龄编著 2012
- 《走出推理的迷宫 福尔摩斯探案评说》吴鹤龄著 2012
- 《腰椎间盘突出症自我调理135 第2版》崔林华,邢潇,于溯主编 2012
- 《普通电工学实验》(苏)斯捷潘诺夫(В.Н.Степанов)著;李鹤龄译 1957
- 《电视新闻语言 模式·符号·叙事》崔林著 2009
- 《杜工部诗集辑注》(清)朱鹤龄辑注 2009
- 《怎样修理磨损零件》丁鹤龄编著 1956
- 《农田野燕麦和阔叶杂草防除研究论文集》涂鹤龄等编著 1990
- 《2004泵阀产品购销手册》机械工业出版社《名录》编辑部,北京世纪鹤龄广告有限责任公司编 2004
- 《康熙长乐县志》(清)孙胤光修;(清)李逢祥纂;(清)侯坤元修;(清)温训等纂;(清)仲振履原本,(清)张鹤龄增修;(清)曾士梅增纂 2003
- 《全国高等中医药行业“十三五”创新教材 中医药学概论》翟华强 2019
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《习近平总书记教育重要论述讲义》本书编写组 2020
- 《办好人民满意的教育 全国教育满意度调查报告》(中国)中国教育科学研究院 2019
- 《高等数学试题与详解》西安电子科技大学高等数学教学团队 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《教育学考研应试宝典》徐影主编 2019
- 《语文教育教学实践探索》陈德收 2018
- 《家庭音乐素养教育》刘畅 2018