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

　　《图灵和ACM图灵奖（1966-2015 第五版） 纪念计算机诞生70周年》：
　　在数据库技术发展的历史上，1970年是发生伟大转折的一年。这一年的6月，IBM圣约瑟研究实验室的高级研究员埃德加·科德（Edgar Frank Codd）在Communications of the ACM上发表了题为“用于大型共享数据库的关系数据模型”（A Relational Model of Data for LargeShared Data Banks）一文。ACM后来在1983年把这篇论文列为从1958年以来的1／4个世纪中具有里程碑式意义的最重要的25篇研究论文之一，因为它首次明确而清晰地为数据库系统提出了一种崭新的模型，即关系模型。“关系”（relation）是数学中的一个基本概念，由集合中的任意元素所组成的若干有序偶对（ordered pair）表示，用以反映客观事物之间所存在的一定关系，如数之间的大小关系、一个组织中成员之间的领导与被领导关系、商品流通中的购销关系，产品零部件之问的装配关系，等等。在自然界和社会中，关系是无处不在的。在计算机科学中，关系的概念也十分普遍，计算机的逻辑设计、编译程序设计、算法分析和程序结构、信息检索等，都应用了关系的概念。而用关系的概念来建立数据模型，以描述、设计与操纵数据库，则是科德1970年的这篇论文的创举。由于关系模型简单明了，有坚实的数学基础，一经提出，立即引起学术界和产业界的广泛重视和响应，从理论与实践两个方面都对数据库技术产生了强烈的冲击。在关系模型提出之前已经存在多年的基于层次模型（hierarchical model）和网状模型（networlk model）的数据库产品很快走向衰败以致消亡，一大批关系数据库系统很快被开发出来并迅速商品化，占领了市场，其交替速度之快，除旧布新之彻底是软件史上所罕见的。基于20世纪70年代中后期和80年代初期这一十分引人注目的现象，1981年的图灵奖很自然地授予了这位“关系数据库之父”。
　　科德原是英国人，1923年8月19日生于英格兰中部濒临大西洋“的港口城市波特兰（Portland）。第二次世界大战爆发以后，年轻的科德应征入伍，在皇家空军服役，1942—1945年间任机长，参与了许多惊心动魄的空战，为反法西斯战争立下了汗马功劳。第二次世界大战结束以后，科德上牛津大学学习数学，于1948年取得学士和硕士学位以后，远渡大西洋到美国谋求发展，先在IBM公司取得一个职位，为IBM公司初期的计算机之一SSEC（Selective Sequence Electronic Calculator）编制程序，为他的计算机生涯奠定了基础。1953年，他应聘到加拿大渥太华的Computing Device公司工作，出任加拿大开发导弹项目的经理。1957年科德重返美国IBM公司，任“多道程序设计系统”（muhipro gramming systems）部门的主任，其问参加了IBM公司第一台科学计算机701，第一台大型晶体管计算机STRETCH的逻辑设计。STRETCH完成于1961年。STRETCH首次采用先行控制方式，最多可重叠执行6条连续的指令，是后来流水线方式的原型，因而被认为是第一台流水线计算机。它还采用交换器和多道程序技术，用多个存储器交叉工作等许多创新技术，因而在计算机发展史上有重要意义和影响。科德在STRETCH的研制中主持了第一个有多道程序设计能力的操作系统的开发。1959年11月，他在Communications of the ACM上发表的介绍STRETCH的多道程序操作系统的文章，是这方面最早的学术论文之一。而尤其难能可贵的是，科德由于在工作中发觉自己缺乏硬件知识，影响了在这些重大工程中发挥更大的作用，在20世纪60年代初毅然决定重返大学校园（当时他已年近40岁），到密歇根大学进修计算机与通信专业，并于1963年获得硕士学位，1965年又获得博士学位。这使他的理论基础更加扎实，专业知识更加丰富，加上他在此之前十几年的实践经验的丰富积累，终于在1970年进发出智慧的闪光，为数据库技术开辟了一个新时代。由于数据库是计算机各种应用的基础，关系模型的提出不仅为数据库技术的发展奠定了基础，同时也为计算机的普及应用提供了极大的动力。在科德提出关系模型以后，IBM公司投巨资开展关系数据库管理系统的研究，其System R项目的研究成果极大地推动了关系数据库技术的发展，在此基础上推出的DB2和SQL等产品成为IBM公司的主流产品。System R本身虽作为原型并未问世，但鉴于其作用与影响，ACM把1988年的“软件系统奖”授予了System R，获奖的开发小组6个成员中就包括后来在1998年荣获图灵奖的格雷（J.Gray）。这一年的软件系统奖还破例同时奖励了两个软件系统，另一个得奖软件也是关系数据库管理系统，即INGRES。INGRES是加州大学伯克利分校的斯通布雷克（M.Stonebr-aeker）等人研制的，后来由美国关系技术公司RTI商品化。
　　……

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