介绍计算机图灵奖.pptVIP

图灵奖;图灵奖的由来;。由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。;获奖情况;每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。;金金额不算太高，设奖初期为2万美元，1989年起增到2万5千美元，奖金通常由计算机界的一些大企业提供（通过与ACM签订协议）。目前图灵奖由英特尔公司和google公司赞助，奖金为250,000美元。;获奖情况; 非确定性自动机 1977年 约翰·巴克斯 John Backus 高级??程系统，程序设计语言规范的形式化定义 1978年 罗伯特·弗洛伊德 Robert W. Floyd 设计高效可靠软件的方法学 1979年 肯尼斯·艾佛森 Kenneth E. Iverson 程序设计语言和数学符号，互动系统的设计，运用 APL进行教学，程序设计语言的理论与实践 1980年 东尼·霍尔 C. Antony R. Hoare 程序设计语言的定义与设计 1981年 埃德加·科德 Edgar F. Codd 数据库系统，尤其是关系型数据库 1982年 史提芬·古克 Stephen A. Cook 计算复杂度 1983年 肯·汤普逊 丹尼斯·里奇 Ken Thompson Dennis M. Ritchie UNIX操作系统和C语言 1984年 尼古拉斯·沃斯 Niklaus Wirth 程序设计语言设计、程序设计 1985年 理查德·卡普 Richard M. Karp 算法理论，尤其是NP-完全性理论 1986年 约翰·霍普克罗夫特 Juris Hartmanis Richard E. Stearns ;;;;艾伦·佩利（首届图灵奖获得者）;; 犹大·伯尔 Judea Pearl 人工智能 ;犹大·伯尔 Judea Pearl;Judea Pearl这个名字;轶事;姚期智（唯一一位华人图灵奖获得者）;生平简介;主要成就;