第一章计算机系统概论.ppt

约翰·阿塔诺索夫(John Vincent Atanasoff) 计算机的发展 1642年，帕斯卡(Pascal)的加法机 1673年，莱布尼兹乘法机 1822年，巴贝奇差分机 1888年，赫尔曼·霍勒斯制表机 霍勒斯于1896年创立了制表机公司，1911年该公司并入CTR（计算制表记录）公司1924年，托马斯·沃森一世把CTR更名为IBM。 1938年，朱斯的Z系列计算机 1944年，艾肯的MARK—I 图灵奖 1966年美国计算机协会（ACM，Association for Computer Machinery）设立的“图灵奖”，专门奖励那些对计算机科学研究与推动计算机技术发展有卓越贡献的杰出科学家。它被公认为计算机界的“诺贝尔”奖。 图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称 美国计算机协会一年一度颁发的图灵奖被誉为“计算机界的诺贝尔奖”，奖金为25万美元，由谷歌和英特尔公司赞助。 历届图灵奖获得者 1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased) 因在新一代编程技术和编译架构方面的贡献而获奖. 1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge 因设计出第一台程序实现完全内存的计算机而获奖. 1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School (was at Bell) (deceased) 因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖. 1969 Marvin Minsky --- PhD, Princeton, Prof, MIT 因对人工智能的贡献被授予图灵奖. 1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory, London 因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖. 历届图灵奖获得者 1971 John McCarthy --- PhD, Princeton; Prof, Stanford 因对人工智能的贡献被授予图灵奖. 1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin 因在编程语言方面的出众表现而获奖. 1973 Charles W. Bachman --- staff, Honeywell ?因在数据库方面的杰出贡献而获奖. 1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford 因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖. 1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased) 和Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased) ?因在人工智能、人类识别心理和表处理的基础研究而获奖. 历届图灵奖获得者 1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard ? 和Dana S. Scott --- PhD, Princeton; Prof, CMU 因他们的论文有限自动机与它们的决策问题中所提出的非决定性机器这一很有价值的概念而获奖. 1977 John Backus --- BS, Columbia; staff, IBM 因对可用的高级编程系统设计有深远和重大的影响而获奖. 1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford 因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖. 1979 Kenneth E. Iverson 因对程序设计语言理论、互动式系统及APL的贡献被授予该奖. 1980 C. Anthony R. Hoare ---