您好,欢迎光临有路网!
图灵和ACM图灵奖(1966-2011)(第四版)纪念图灵百年诞辰
QQ咨询:
有路璐璐:

图灵和ACM图灵奖(1966-2011)(第四版)纪念图灵百年诞辰

  • 作者:吴鹤龄 崔林
  • 出版社:高等教育出版社
  • ISBN:9787040356526
  • 出版日期:2012年06月01日
  • 页数:355
  • 定价:¥30.00
  • 分享领佣金
    手机购买
    城市
    店铺名称
    店主联系方式
    店铺售价
    库存
    店铺得分/总交易量
    发布时间
    操作

    新书比价

    网站名称
    书名
    售价
    优惠
    操作

    图书详情

    内容提要
    本书介绍了图灵及自1966年至今图灵奖的获得者的工作和事迹。通过对20世纪下半叶及21世纪初有代表性计算机科学家的介绍,多方位、多视角地反映计算机科学技术半个多世纪来的发展历程。本书在一定程度上反映了计算机体系结构、程序设计语言、算法设计与分析、操作系统和编译程序、数据库技术、计算复杂性理论、软件工程、人工智能等计算机科学技术主要分支的形成过程和发展概况。通过追寻成功者的足迹,给人以必要的启迪,读者可以从阅读本书中吸取成长和成功所必需的养分。 1966-2011-图灵和ACM图灵奖-纪念图灵百年诞辰_吴鹤龄, 崔林_高等教育出版社_
    文章节选
    1966 年图灵奖获得者:
    艾伦·佩利
    ———ALGOL 语言和计算机科学的“催生者”
    艾伦·佩利(Alan J.
    Perlis)由于在ALGOL语言的定义和扩充上所作出的重大贡献,以及在创始计算机科学教育,使计算机科学成为一门独立的学科上所发挥的巨大作用而成为首届图灵奖当之无愧的获得者。
    佩利1922年4月1日生于美国宾夕法尼亚州的匹兹堡。在卡内基理工学院(现卡内基-梅隆大学)所学的专业是化学,1942年毕业取得学士学位。因当时还处于第二次世界大战期间,而且在珍珠港事件后美国已宣布正式参战,因此佩利被应征入伍,在空军服役。战后他进入加州理工学院研究生院继续深造,改学数学,于1947年取得硕士学位,然后又到麻省理工学院(MIT)攻读博士学位,于1950年取得该学位。1951年他在美国陆军军械部设在马里兰州的阿伯丁试验基地内的“弹道研究实验室冶(冯·诺伊曼曾在该研究实验室当顾问)工作了一年,然后回到母校麻省理工学院参加“旋风”(Whirlwind)计算机计划,为“旋风”编制程序。为了说明佩利参与的“旋风”计划的意义,我们先简要回顾一下计算机诞生初期的发展历史。
    大家知道,世界上**台电子计算机叫做“ENIAC”(这是Electronic Numerical Integrator and
    Computer
    的词头缩写,意为“电子数字积分器和计算机”),是宾夕法尼亚大学莫尔学院根据上述阿伯丁弹道研究实验室为各种火炮计算弹道、编制射击表的需要于1943年6月与联邦政府签订10万美元的合同而研制的。项目由约翰·莫奇利(John
    Wil鄄liam Mauchly, 1907—1980)负责逻辑设计,伊克特(John Presper
    Eckert,Jr,1919—1995)负责电路设计。ENIAC
    是一台十进制并行计算机,能同时处理10个十进制数,采用电子管电路,时钟频率为100 000 Hz,加法时间为0.2
    ms,乘法时间为2.8 ms,是一个占地1 500 ft2 (约139m2),重30 t,功耗150
    kW的庞然大物。它于1946年2月完成,未能参加第二次世界大战,但被洛斯阿拉莫斯(Los
    Alamos)**实验室用于计算原子弹爆炸的突变问题,后来又曾用于阿伯丁的空军试验场,一直运行到1955年10月才停止工作。世人一直公认莫奇利和伊克特是ENIAC的***,但后来在两家计算机公司的诉讼中,法院判定他们剽窃了约翰·阿塔那索夫(John
    Vincent
    Atanasoff,1903—1995)的构思和设计。这个涉及世界上**台电子计算机的发明权案件曾经轰动美国。但有趣的是,虽然阿塔那索夫确实曾在1941
    年把自己关于构思计算机的设想告诉过莫奇利,后者也确实因此受到启发而写出了有关论证报告并设计出了ENIAC,但社会舆论似乎并不支持法院的判决,现在一提到ENIAC,几乎众口一词地仍然说是莫奇利和伊克特发明的,没有人说是阿塔那索夫发明的,这对美国法院的判决真是一种讽刺。
    ENIAC
    虽然作为世界上**台电子计算机而被载入史册,但它不具备存储程序的能力,程序要通过外接电路板输入。要改变程序必须改接相应的电路板,对于每种类型的题目,都要设计相应的外接电路板。这不是理想的结构,不符合冯·诺伊曼早就提出的存储程序的设想。那么世界上**台存储程序式计算机是哪一台呢·
    有些资料认为是前面曾经提到过的曼彻斯特大学的MARK 玉,但现在一般说法是英国剑桥大学威尔克斯(M. V. Wilkes,1967
    年图灵奖获得者)设计和完成于1949 年5
    月的EDSAC。实际上,*早开始设计与实施存储程序式计算机的还是莫尔学院的EDVAC(Electronic Discrete
    Variable Automatic Computer
    的词头缩写,意为“电子分离变量自动计算机”)。这是1945年3月(当时ENIAC正处于安装调试阶段),由冯·诺伊曼本人与莫奇利、伊克特等人经过两天会谈、讨论后制定的设计方案,采用电子管和半导体二极管,用用水银延迟线做存储器,时钟频率为1
    MHz,字长为32位。由于ENIAC
    的原因,EDVAC的研制从1947年才开始,加上莫奇利和伊克特两人后来因故离开了莫尔学院,使工程遇到了困难,1952年(有的资料说1951年)才完成,这才使威尔克斯的EDSAC“后来居上”(详见后面关于威尔克斯的介绍)。
    但不管EDSAC也好,EDVAC也好,都是串行计算机(serial
    computer),即数据的传送和运算是按位逐一进行的,这样的计算机运算部件少,运算也简单,但速度慢,不能满足某些应用的需要。那么世界上**台存储程序式的并行计算机是哪一台呢·
    这就是前述“旋风”计算机。“旋风”的主要设计者和研制者是MIT的弗里斯特(Jay
    WrightForrester)。弗里斯特也是在受军方委托,用风洞来研究飞机稳定性时根据数据处理的需要而设计“旋风”的。“旋风”受EDVAC的影响采用存储程序方式,但鉴于处理飞机稳定性需要2
    000 条以上指令,必须改串行为并行,但又要考虑机器体积不宜过大的因素,因此设计成16
    位字长的并行计算机。“旋风”的另一项创新是采用英国曼彻斯特大学威廉斯发明不久的阴极射线管做内存储器。“旋风”的研制工作从1946年开始,1950年试运行成功。20世纪50年代冷战加剧的形势下,美国军方对“旋风”寄予了极大希望,空军每年投资100
    万美元(试比较一下,ENIAC的总经费才10万美元),MIT也专门成立了**的“林肯实验室”,以弗里斯特原先的实验室为核心,研究“旋风”的军事应用。1951年,“旋风”与当时**的SAGE(SemiAutomatic
    GroundEnvironment,即半自动地面防空系统,包括全美17个防区)**实现连接,把位于卡德角的防空警戒雷达所截获的信息送到MIT,由“旋风”计算机进行处理、分析和存储。这是历史上计算机与通信的**次结合。弗里斯特还在20
    世纪40 年代末和美籍华人科学家兼企业家王安(Wang
    An,1920—1990)几乎同时分别独立地发明了磁芯存储器,并把它用在“旋风”中以代替阴极射线管存储器,从而进一步大大提高了“旋风”的性能。
    佩利在“旋风”上工作到1952年9月。之后他来到普渡大学,在那里他创建了全美大学中的**个计算**,开创了在大学中建立计算**的先河。他出任普渡大学计算**的**任主任。在他的努力下,计算**先安装了一台IBM的CPC计算机(Card
    Programmed Calculator),以后更新为Datatron
    205。佩利为之设计了称为IT(InternalTranslator)的语言,并开发了IT的编译器。1956
    年佩利转到卡内基理工学院,“故伎重演冶,又推动该校成立了计算**并出任主任,配置了IBM 650计算机。佩利把他在普渡大学开发的IT
    及其编译器移植到IBM 650上,并被美国许多大学所采用。在IT 的基础上,佩利和史密斯(J. Smith)、佐轮(H.
    Zoren)、伊万斯(A. Evans)等人一起为IBM
    650设计并开发了新的代数语言和汇编语言。这些工作奠定了佩利作为计算机程序设计语言的先行者的地位。因此,当ACM于1957年成立程序设计语言委员会以便与欧洲的同行合作,设计通用的代数语言的时候,佩利被理所当然地作为*佳人选被任命为这个委员会的主席。
    1958年,在苏黎世举行的ACM小组和以当时联邦德国应用数学和力学协会GAMM为主的欧洲小组的联合会议上,两个小组把他们关于算法表示法的建议合二为一,形成了ALGOL
    58(*初叫做“国际代数语言”, 即International Algebraic Language, 简称IAL。后来改叫ALGOL
    58)。在ALGOL 58 的基础上,1960年1月在巴黎举行的有全世界**软件专家参加的讨论会上,确定了程序设计语言ALGOL
    60,发表了“算法语言ALGOL 60 报告”。1962 年又发表了“算法语言ALGOL 60的修改报告”。ALGOL
    60是程序设计语言发展史上的一个里程碑,它标志着程序设计语言由一种“技艺”转而成为一门“科学冶,开拓了程序设计语言的研究领域,又为后来软件自动化的工作以及软件可靠性问题的发展奠定了基础。而后像1967年出现的**引进“类型”的概念,把数据和被允许施行于这些数据之上的运算结合为一个统一体,因而成为现代抽象数据类型的开端以及**个面向对象的语言SIMULA
    67。1971年出现的**的PASCAL等语言,也都是在ALGOL 60的基础上加以扩充而形成的。ALGOL
    60的主要特点有:
    1. 局部性。**引进局部性概念,既扩充了语言的表达能力,又可节省内存空间,提高程序的紧凑性。
    2. 动态性。语言含有动态成分,从而明显提高了语言的表达能力(当然也相应增加了实现中的开销)。
    3. 递归性。递归性的引进开拓了软件的研究领域,促进了软件的发展。
    4. 严谨性。它的语法和语义均有严格的描述,特别是语法,采用了**的巴克斯范式BNF,结构清晰,理论严谨。
    在ALGOL 58和ALGOL
    60的形成和修改过程中,佩利都起了核心和关键的作用。佩利之所以荣获首届图灵奖,主要就是因为他在这方面的重大贡献。
    与此同时,在佩利的积极组织下,卡内基理工学院率先在大学生中开设程序设计课程。在此之前,有关程序设计的知识是作为“数值分析”课程内容的一部分予以介绍的。程序设计课的开设是计算机科学教育的开端。这引起了计算机的*大用户———美国国防部的重视,由其下属的**研究计划署(ARPA)出面,资助对计算机科学及其教育进行立项研究,其结果是20世纪60年代中期首先在卡内基理工学院、斯坦福大学、麻省理工学院等少数几个大学建立起了计算机科学系和计算机科学研究生院,使计算机科学脱离电气工程、数学等学科而成为一门独立的学科。鉴于在其中所起的巨大作用,佩利被称为“使计算机科学成为独立学科的奠基人”———A
    founding father of computer sci鄄ence as a separate
    discipline。而在卡内基理工学院(现卡内基-梅隆大学),佩利和西蒙(H. A. Simon)、纽厄尔(A.
    Newell)———后二人是1975年的图灵奖获得者———被称为“计算机系的三驾马车”。
    1971年,佩利离开卡内基理工学院,加盟新成立的耶鲁大学计算机系,曾数度出任系主任,为耶鲁大学计算机系的建设和发展作出了重大贡献。其间,1977—1978年,他曾在加州理工学院执教。因此,佩利可谓“桃李满天下”,尤其是美国的**批计算机科学博士生,绝大部分都是佩利的弟子。
    佩利也是计算机学术组织和学术交流活动的积极倡导者和组织者。1962—1964年他出任ACM
    主席。**的杂志Communications ofthe ACM
    也是由他倡议创办的,并在1958—1962年担任**任主编。
    作为知名学者,他经常到世界各国讲学或作报告,足迹遍及苏联、丹麦、意大利、以色列、墨西哥、秘鲁、英国、荷兰、委内瑞拉……其中也曾两次到中国讲学。他也是“乒乓外交”后*早(1972年7月)到中国访问的美国计算机科学家代表团的成员之一。
    佩利说过这样一句话:“任何名词都可以变为动词”(any noun canbe
    verbed)。他的意思是说,任何远大的理想、志向、抱负和对新事物的追求,通过努力和不懈的实践都是可以实现的。这是佩利总结自己的一生所形成的至理名言。
    佩利的主要著作有:
    《对程序设计语言的思考》(A View of Programming Languages, Ad
    dison-Wesley,1970)
    《计算机科学导论》(Introduction to Computer Science,Harper
    &Row,1972,1975)《软件可重用性》(Software Reusability,ACM
    Press,1989)
    *后这部书分两卷,**卷:概念与模型(Concepts and Models),第二卷:应用与经验(Applications and
    Experience),是佩利与比格斯托夫(T. J.
    Biggerstaff)合编的。这是他生前的*后一部著作,反映了他晚年对软件工程的关心和重视。
    佩利1973 年当选为美国艺术和科学院院士,1976
    年当选为美国工程院院士。除了获得图灵奖外,他还在1984年获得AFIPS的教育奖,曾被普渡大学、滑铁卢大学等多所大学授予名誉博士学位。1990年2月7日,佩利因心脏病在康涅狄格州的纽哈芬去世,享年68
    岁。
    佩利是在1966年8月举行的ACM第21届全国大会上被授予图灵奖的。佩利发表了题为“算法系统的综合”(The Synthesis of
    Algorithmic Systems)的演说(刊于杂志Journal of the
    ACM,1967年1月,1—9页,也可见《前20年的ACM 图灵奖演说集》(ACM Turing Award
    Lectures———The First 20 Years:1966—1985,ACM
    Press,5—16页)。佩利发表演说的1966年,编程还要通过专门设计的“编码纸”(codingsheet)和穿孔卡片进行。但佩利的眼光已经瞄向未来。他在强调指出图灵计算模型的重要意义以后,讨论了程序设计语言和系统下一步应朝哪些方向发展,包括更丰富的数据类型和数据结构,以及与之相联系的更丰富的操作等。佩利所指出的方向有些已被随后的研究与开发所实现,如LISP
    和Smalltalk 语言,有些则至今仍有待进一步的研究。
    目录
    图灵和图灵奖
    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 年图灵奖获得者:朱迪?珀尔
    ———贝叶斯网络开创人工智能新天地
    附录一 计算技术发展大事记(截至20 世纪末)
    附录二 向计算机专业师生**两本好书
    人名索引(Name Index)
    总索引(General Index)
    参考文献

    与描述相符

    100

    北京 天津 河北 山西 内蒙古 辽宁 吉林 黑龙江 上海 江苏 浙江 安徽 福建 江西 山东 河南 湖北 湖南 广东 广西 海南 重庆 四川 贵州 云南 西藏 陕西 甘肃 青海 宁夏 新疆 台湾 香港 澳门 海外