圖靈和ACM圖靈獎(jiǎng)

前言

第一版序言計(jì)算機(jī)是20世紀(jì)40年代人類(lèi)的偉大創(chuàng)造。從1946年世界上第一臺(tái)電子計(jì)算機(jī)EMAC的誕生，迄今為止其發(fā)展已逾50年，計(jì)算機(jī)的性能有了顯著提高。當(dāng)前，已出現(xiàn)峰值運(yùn)算速度達(dá)每秒十幾萬(wàn)億次的巨型計(jì)算機(jī)。短短的半個(gè)世紀(jì)，計(jì)算機(jī)對(duì)人類(lèi)社會(huì)的進(jìn)步與發(fā)展產(chǎn)生了巨大的推動(dòng)作用，影響深遠(yuǎn)。計(jì)算機(jī)的出現(xiàn)，使人們?cè)谖镔|(zhì)和能量?jī)纱髴?zhàn)略資源之外，開(kāi)發(fā)和利用了“信息”這一新的戰(zhàn)略資源，開(kāi)拓了人類(lèi)認(rèn)識(shí)自然、改造自然的新領(lǐng)域；計(jì)算機(jī)的出現(xiàn)，在理論推導(dǎo)與科學(xué)實(shí)驗(yàn)兩大發(fā)展科學(xué)技術(shù)的傳統(tǒng)手段之外，增添了人類(lèi)發(fā)展科學(xué)技術(shù)的新手段，即所謂“計(jì)算”手段；計(jì)算機(jī)的出現(xiàn)，為人類(lèi)創(chuàng)造文化提供了新的現(xiàn)代化工具，改變了人們創(chuàng)造文化的活動(dòng)方式、方法和性質(zhì)；計(jì)算機(jī)的出現(xiàn)，引發(fā)了人類(lèi)工作方式和生活方式的變化。在世紀(jì)之交，以微電子、計(jì)算機(jī)硬件、計(jì)算機(jī)軟件、通信等技術(shù)為主導(dǎo)的信息技術(shù)革命正在迅猛地改變我們所生存的社會(huì)，人類(lèi)開(kāi)始從工業(yè)社會(huì)進(jìn)入信息時(shí)代。信息技術(shù)在世界新技術(shù)革命中不僅作為一項(xiàng)獨(dú)立的技術(shù)而存在，還廣泛滲透于各個(gè)高科技領(lǐng)域以及生產(chǎn)、經(jīng)營(yíng)、管理等過(guò)程，成為它們發(fā)展的基本依據(jù)和重要手段。信息化正從整體上引導(dǎo)著世界經(jīng)濟(jì)和社會(huì)發(fā)展的進(jìn)程，信息技術(shù)已成為經(jīng)濟(jì)發(fā)展的關(guān)鍵因素和倍增器，隨之而興起的信息產(chǎn)業(yè)將成為全球經(jīng)濟(jì)發(fā)展的主導(dǎo)產(chǎn)業(yè)。隨著網(wǎng)絡(luò)技術(shù)的快速發(fā)展及全球信息高速公路的建立和日益完善．人類(lèi)的工作模式和生活形態(tài)出現(xiàn)了本質(zhì)上的改變．社會(huì)產(chǎn)業(yè)結(jié)構(gòu)發(fā)生了深層次的變革，以信息技術(shù)和信息產(chǎn)業(yè)為主導(dǎo)的知識(shí)經(jīng)濟(jì)時(shí)代正在全球范圍內(nèi)宣告著它的到來(lái)。計(jì)算機(jī)科學(xué)技術(shù)作為研究計(jì)算機(jī)的設(shè)計(jì)與制造、研究如何利用計(jì)算機(jī)進(jìn)行信息獲取、表示、存儲(chǔ)、處理、控制等的理論、原則、方法和技術(shù)的學(xué)科，其半個(gè)世紀(jì)的發(fā)展，為計(jì)算機(jī)及其相關(guān)技術(shù)和產(chǎn)業(yè)的進(jìn)步，奠定了堅(jiān)實(shí)的基礎(chǔ)，創(chuàng)造了巨大的源動(dòng)力。而其中，眾多的計(jì)算機(jī)科學(xué)家、工程師及從業(yè)人員的艱辛勞動(dòng)，為計(jì)算機(jī)科學(xué)技術(shù)學(xué)科、計(jì)算機(jī)產(chǎn)業(yè)及計(jì)算機(jī)應(yīng)用做出了實(shí)際而巨大的貢獻(xiàn)。本書(shū)所介紹的40位圖靈獎(jiǎng)獲得者，正是這些人物中的杰出代表，當(dāng)中，不少人對(duì)計(jì)算機(jī)科學(xué)技術(shù)和計(jì)算機(jī)產(chǎn)業(yè)的蓬勃發(fā)展做出了歷史性的貢獻(xiàn)。這些著名科學(xué)家所提出的一些具有前瞻性的設(shè)想或思路對(duì)世界計(jì)算機(jī)科學(xué)技術(shù)，乃至其他工程學(xué)科的發(fā)展均產(chǎn)生了重要的影響。我國(guó)的計(jì)算機(jī)事業(yè)創(chuàng)始于20世紀(jì)50年代中期。1956年國(guó)家制定《1956一1967年科學(xué)技術(shù)發(fā)展遠(yuǎn)景規(guī)劃》，即將“計(jì)算技術(shù)的建立”列為緊急措施之一。經(jīng)過(guò)近50年的發(fā)展，我國(guó)的計(jì)算機(jī)事業(yè)取得了長(zhǎng)足的進(jìn)步。在計(jì)算機(jī)科學(xué)技術(shù)研究方面已出現(xiàn)國(guó)際領(lǐng)先的成果，在計(jì)算機(jī)產(chǎn)業(yè)及計(jì)算機(jī)應(yīng)用方面呈現(xiàn)良好的發(fā)展態(tài)勢(shì)。當(dāng)然，毋庸諱言，和國(guó)際最高水平相比，我們還存在不少差距，這迫切需要我國(guó)計(jì)算機(jī)科學(xué)技術(shù)工作者不斷地做出艱苦的、具創(chuàng)新性的努力。本書(shū)介紹了20世紀(jì)的34屆40位圖靈獎(jiǎng)獲得者的工作和事跡，相信一方面能夠?yàn)樽x者了解計(jì)算機(jī)科學(xué)技術(shù)發(fā)展簡(jiǎn)史提供一個(gè)獨(dú)特的視角，另一方面可以對(duì)我國(guó)的科技人員、學(xué)者和教育工作者有一定的啟迪。雖然不能把他們的思想和做法完全套用在我國(guó)的具體科學(xué)及產(chǎn)業(yè)實(shí)踐中，但是對(duì)其進(jìn)行審慎地思考后進(jìn)行有選擇性地吸收，對(duì)我國(guó)生產(chǎn)技術(shù)的進(jìn)步、人才的培養(yǎng)將是有益的。本書(shū)第一作者吳鶴齡教授曾任北京理工大學(xué)計(jì)算機(jī)科學(xué)工程系主任，退休后仍積極為科技成果的普及而勤懇工作。本書(shū)的成稿，凝聚了他對(duì)我國(guó)計(jì)算機(jī)科學(xué)技術(shù)研究及普及事業(yè)的不懈努力和追求。中國(guó)科學(xué)院院士北京大學(xué)計(jì)算機(jī)科學(xué)技術(shù)系教授楊芙清2000年7月

內(nèi)容概要

　　本書(shū)介紹了圖靈及自1966年至今圖靈獎(jiǎng)的獲得者的工作和事跡。通過(guò)對(duì)20世紀(jì)下半葉及21世紀(jì)初有代表性計(jì)算機(jī)科學(xué)家的介紹，多方位、多視角地反映計(jì)算機(jī)科學(xué)技術(shù)半個(gè)多世紀(jì)來(lái)的發(fā)展歷程。本書(shū)在一定程度上反映了計(jì)算機(jī)體系結(jié)構(gòu)、程序設(shè)計(jì)語(yǔ)言、算法設(shè)計(jì)與分析、操作系統(tǒng)和編譯程序、數(shù)據(jù)庫(kù)技術(shù)、計(jì)算復(fù)雜性理論、軟件工程、人工智能等計(jì)算機(jī)科學(xué)技術(shù)主要分支的形成過(guò)程和發(fā)展概況。通過(guò)追尋成功者的足跡，給人以必要的啟迪，讀者可以從閱讀本書(shū)中吸取成長(zhǎng)和成功所必需的養(yǎng)分。

作者簡(jiǎn)介

吳　　鶴齡，1937年5月出生，籍貫上海市金山區(qū)。北京理工大學(xué)計(jì)算機(jī)學(xué)院教授。1998年退休后從事科普創(chuàng)作，除本書(shū)及其姐妹篇《IEEE計(jì)算機(jī)先驅(qū)獎(jiǎng)》外，尚有《好玩的數(shù)學(xué)》、《七巧板、九連環(huán)和華容道》、《囚徒的困境》、《迷宮趣話》、《魅力魔方》等多部原創(chuàng)作品或譯作問(wèn)世，分別獲得2009年國(guó)家科學(xué)技術(shù)進(jìn)步獎(jiǎng)二等獎(jiǎng)、第三屆臺(tái)灣吳大猷科普著作獎(jiǎng)翻譯類(lèi)佳作獎(jiǎng)、第一屆中國(guó)科普作家協(xié)會(huì)優(yōu)秀科普作品提名獎(jiǎng)、北京市第四屆優(yōu)秀科普作品獎(jiǎng)、“科學(xué)時(shí)報(bào)讀書(shū)杯”科學(xué)文化?科學(xué)普及獎(jiǎng)等多項(xiàng)獎(jiǎng)勵(lì)，《七巧板、九連環(huán)和華容道》2008年被文化部和財(cái)政部選中列入“送書(shū)下鄉(xiāng)工程”，《迷宮趣話》入選國(guó)家新聞出版總署第二屆“三個(gè)一百”原創(chuàng)優(yōu)秀圖書(shū)出版工程。本人被評(píng)為2010年北京市高校“育人標(biāo)兵”、2011年北京市和全國(guó)教育系統(tǒng)“關(guān)心下一代工作先進(jìn)工作者”。

書(shū)籍目錄

圖靈和圖靈獎(jiǎng)
1966 年圖靈獎(jiǎng)獲得者:艾倫?佩利
———ALGOL 語(yǔ)言和計(jì)算機(jī)科學(xué)的“催生者”
1967 年圖靈獎(jiǎng)獲得者:莫里斯?威爾克斯
———世界上第一臺(tái)存儲(chǔ)程序式計(jì)算機(jī)EDSAC 的研制者
1968 年圖靈獎(jiǎng)獲得者:理查德?哈明
———發(fā)明糾錯(cuò)碼的大數(shù)學(xué)家和信息學(xué)專(zhuān)家
1969 年圖靈獎(jiǎng)獲得者:馬文?明斯基
———“人工智能之父”和框架理論的創(chuàng)立者
1970 年圖靈獎(jiǎng)獲得者:詹姆斯?威爾金森
———數(shù)值分析專(zhuān)家和研制ACE計(jì)算機(jī)的功臣
1971 年圖靈獎(jiǎng)獲得者:約翰?麥卡錫
———“人工智能之父”和LISP 語(yǔ)言的發(fā)明人
1972 年圖靈獎(jiǎng)獲得者:埃德斯加?狄克斯特拉
———最先察覺(jué)“goto 有害”的計(jì)算機(jī)科學(xué)大師
1973 年圖靈獎(jiǎng)獲得者:查爾斯?巴赫曼
———“網(wǎng)狀數(shù)據(jù)庫(kù)之父”
1974 年圖靈獎(jiǎng)獲得者:唐納德?克努特
———經(jīng)典巨著《計(jì)算機(jī)程序設(shè)計(jì)的藝術(shù)》的年輕作者
1975 年圖靈獎(jiǎng)獲得者:赫伯特?西蒙和艾倫?紐厄爾
———人工智能符號(hào)主義學(xué)派的創(chuàng)始人
1976 年圖靈獎(jiǎng)獲得者:米凱爾?拉賓和達(dá)納?斯科特
———非確定性有限狀態(tài)自動(dòng)機(jī)理論的開(kāi)創(chuàng)者
1977 年圖靈獎(jiǎng)獲得者:約翰?巴克斯
———FORTRAN和BNF的發(fā)明者
1978 年圖靈獎(jiǎng)獲得者:羅伯特?弗洛伊德
———前后斷言法的創(chuàng)始人
1979 年圖靈獎(jiǎng)獲得者:肯尼思?艾弗森
———大器晚成的科學(xué)家,APL的發(fā)明人
1980 年圖靈獎(jiǎng)獲得者:查爾斯?霍爾
———從QUICKSORT、CASE到程序設(shè)計(jì)語(yǔ)言的公理化
1981 年圖靈獎(jiǎng)獲得者:埃德加?科德
———關(guān)系數(shù)據(jù)庫(kù)之父
1982 年圖靈獎(jiǎng)獲得者:斯蒂芬?庫(kù)克
———NP 完全性理論的奠基人
1983 年圖靈獎(jiǎng)獲得者:肯尼思?湯普森和丹尼斯?里奇
———C 和UNIX的發(fā)明者
1984 年圖靈獎(jiǎng)獲得者:尼克勞斯?沃思
———PASCAL 之父及結(jié)構(gòu)化程序設(shè)計(jì)的首創(chuàng)者
1985 年圖靈獎(jiǎng)獲得者:理查德?卡普
———發(fā)明“分枝限界法”的三棲學(xué)者
1986 年圖靈獎(jiǎng)獲得者:約翰?霍普克洛夫特和羅伯特?陶爾揚(yáng)
———碩果累累的算法設(shè)計(jì)大師
1987 年圖靈獎(jiǎng)獲得者:約翰?科克
———RISC 概念的首創(chuàng)者
1988 年圖靈獎(jiǎng)獲得者:伊萬(wàn)?薩瑟蘭
———計(jì)算機(jī)圖形學(xué)之父
1989 年圖靈獎(jiǎng)獲得者:威廉?卡亨
域搖目錄
———浮點(diǎn)計(jì)算的先驅(qū)
1990 年圖靈獎(jiǎng)獲得者:費(fèi)爾南多?考巴脫
———實(shí)現(xiàn)分時(shí)系統(tǒng)的功臣
1991 年圖靈獎(jiǎng)獲得者:羅賓?米爾納
———標(biāo)準(zhǔn)元語(yǔ)言ML的開(kāi)發(fā)者
1992 年圖靈獎(jiǎng)獲得者:巴特勒?蘭普森
———從Alto 系統(tǒng)的首席科學(xué)家到微軟的首席技術(shù)官
1993 年圖靈獎(jiǎng)獲得者:尤里斯?哈特馬尼斯和理查德?斯特恩斯
———計(jì)算復(fù)雜性理論的主要奠基人
1994 年圖靈獎(jiǎng)獲得者:愛(ài)德華?費(fèi)根鮑姆和勞伊?雷迪
———大型人工智能系統(tǒng)的開(kāi)拓者
1995 年圖靈獎(jiǎng)獲得者:曼紐爾?布盧姆
———計(jì)算復(fù)雜性理論的主要奠基人之一
1996 年圖靈獎(jiǎng)獲得者:阿米爾?伯努利
———把時(shí)態(tài)邏輯引入計(jì)算機(jī)科學(xué)
1997 年圖靈獎(jiǎng)獲得者:道格拉斯?恩格爾巴特
———鼠標(biāo)器的發(fā)明人和超文本研究的先驅(qū)
1998 年圖靈獎(jiǎng)獲得者:詹姆斯?格雷
———數(shù)據(jù)庫(kù)技術(shù)和“事務(wù)處理”專(zhuān)家
1999 年圖靈獎(jiǎng)獲得者:弗雷德里克?布魯克斯
———IBM 360系列計(jì)算機(jī)的總設(shè)計(jì)師和總指揮
2000 年圖靈獎(jiǎng)獲得者:姚期智
———計(jì)算理論領(lǐng)域卓越的開(kāi)拓者
2001 年圖靈獎(jiǎng)獲得者:奧爾-約翰?戴爾和克利斯登?奈加特
———挪威計(jì)算機(jī)科學(xué)家,面向?qū)ο蠹夹g(shù)奠基人
2002 年圖靈獎(jiǎng)獲得者:利維斯、沙米爾和阿德勒曼
———最具影響力的公鑰密碼算法RSA 的發(fā)明人
2003 年圖靈獎(jiǎng)獲得者:艾倫?凱
———“個(gè)人計(jì)算機(jī)之父”及Smalltalk 語(yǔ)言發(fā)明人
2004 年圖靈獎(jiǎng)獲得者:文登?塞夫和羅伯特?凱恩
———Internet 基礎(chǔ)通信協(xié)議TCP/ IP之父
2005 年圖靈獎(jiǎng)獲得者:彼得?諾爾
———從天文學(xué)家到計(jì)算機(jī)科學(xué)家
2006 年圖靈獎(jiǎng)獲得者:弗朗西絲?愛(ài)倫
———編譯器優(yōu)化理論與實(shí)踐的先驅(qū)
2007 年圖靈獎(jiǎng)獲得者:克拉克、埃默生和希法凱斯
———計(jì)算機(jī)輔助驗(yàn)證技術(shù)的先驅(qū)
2008 年圖靈獎(jiǎng)獲得者:芭芭拉?利斯科夫
———計(jì)算機(jī)程序設(shè)計(jì)語(yǔ)言和系統(tǒng)的先驅(qū)
2009 年圖靈獎(jiǎng)獲得者:查爾斯?薩克爾
———計(jì)算機(jī)系統(tǒng)架構(gòu)的創(chuàng)新型設(shè)計(jì)大師
2010 年圖靈獎(jiǎng)獲得者:萊斯利?瓦利安特
———成果豐碩的理論計(jì)算機(jī)科學(xué)大師
2011 年圖靈獎(jiǎng)獲得者:朱迪?珀?duì)?br />———貝葉斯網(wǎng)絡(luò)開(kāi)創(chuàng)人工智能新天地
附錄一 計(jì)算技術(shù)發(fā)展大事記(截至20 世紀(jì)末)
附錄二 向計(jì)算機(jī)專(zhuān)業(yè)師生推薦兩本好書(shū)
人名索引(Name Index)
總索引(General Index)
參考文獻(xiàn)

章節(jié)摘錄

1966年圖靈獎(jiǎng)獲得者：艾倫?佩利——ALGOL語(yǔ)言和計(jì)算機(jī)科學(xué)的“催生者”艾倫?佩利（Alan J. Perlis）由于在ALGOL語(yǔ)言的定義和擴(kuò)充上所作出的重大貢獻(xiàn)，以及在創(chuàng)始計(jì)算機(jī)科學(xué)教育，使計(jì)算機(jī)科學(xué)成為一門(mén)獨(dú)立的學(xué)科上所發(fā)揮的巨大作用而成為首屆圖靈獎(jiǎng)當(dāng)之無(wú)愧的獲得者。佩利1922年4月1日生于美國(guó)賓夕法尼亞州的匹茲堡。在卡內(nèi)基理工學(xué)院（現(xiàn)卡內(nèi)基-梅隆大學(xué)）所學(xué)的專(zhuān)業(yè)是化學(xué)，1942年畢業(yè)取得學(xué)士學(xué)位。因當(dāng)時(shí)還處于第二次世界大戰(zhàn)期間，而且在珍珠港事件后美國(guó)已宣布正式參戰(zhàn)，因此佩利被應(yīng)征入伍，在空軍服役。戰(zhàn)后他進(jìn)入加州理工學(xué)院研究生院繼續(xù)深造，改學(xué)數(shù)學(xué)，于1947年取得碩士學(xué)位，然后又到麻省理工學(xué)院（MIT）攻讀博士學(xué)位，于1950年取得該學(xué)位。1951年他在美國(guó)陸軍軍械部設(shè)在馬里蘭州的阿伯丁試驗(yàn)基地內(nèi)的“彈道研究實(shí)驗(yàn)室冶（馮?諾伊曼曾在該研究實(shí)驗(yàn)室當(dāng)顧問(wèn)）工作了一年，然后回到母校麻省理工學(xué)院參加“旋風(fēng)”（Whirlwind）計(jì)算機(jī)計(jì)劃，為“旋風(fēng)”編制程序。為了說(shuō)明佩利參與的“旋風(fēng)”計(jì)劃的意義，我們先簡(jiǎn)要回顧一下計(jì)算機(jī)誕生初期的發(fā)展歷史。大家知道，世界上第一臺(tái)電子計(jì)算機(jī)叫做“ENIAC”（這是Electronic Numerical Integrator and Computer的詞頭縮寫(xiě)，意為“電子數(shù)字積分器和計(jì)算機(jī)”），是賓夕法尼亞大學(xué)莫爾學(xué)院根據(jù)上述阿伯丁彈道研究實(shí)驗(yàn)室為各種火炮計(jì)算彈道、編制射擊表的需要于1943年6月與聯(lián)邦政府簽訂10萬(wàn)美元的合同而研制的。項(xiàng)目由約翰?莫奇利（John Wil鄄liam Mauchly，1907—1980）負(fù)責(zé)邏輯設(shè)計(jì)，伊克特（John Presper Eckert，Jr，1919—1995）負(fù)責(zé)電路設(shè)計(jì)。ENIAC是一臺(tái)十進(jìn)制并行計(jì)算機(jī)，能同時(shí)處理10個(gè)十進(jìn)制數(shù)，采用電子管電路，時(shí)鐘頻率為100000Hz，加法時(shí)間為0.2ms，乘法時(shí)間為2.8ms，是一個(gè)占地1500ft2（約139m2），重30t，功耗150kW的龐然大物。它于1946年2月完成，未能參加第二次世界大戰(zhàn)，但被洛斯阿拉莫斯（Los Alamos）國(guó)家實(shí)驗(yàn)室用于計(jì)算原子彈爆炸的突變問(wèn)題，后來(lái)又曾用于阿伯丁的空軍試驗(yàn)場(chǎng)，一直運(yùn)行到1955年10月才停止工作。世人一直公認(rèn)莫奇利和伊克特是ENIAC的發(fā)明者，但后來(lái)在兩家計(jì)算機(jī)公司的訴訟中，法院判定他們剽竊了約翰?阿塔那索夫（John Vincent Atanasoff，1903—1995）的構(gòu)思和設(shè)計(jì)。這個(gè)涉及世界上第一臺(tái)電子計(jì)算機(jī)的發(fā)明權(quán)案件曾經(jīng)轟動(dòng)美國(guó)。但有趣的是，雖然阿塔那索夫確實(shí)曾在1941年把自己關(guān)于構(gòu)思計(jì)算機(jī)的設(shè)想告訴過(guò)莫奇利，后者也確實(shí)因此受到啟發(fā)而寫(xiě)出了有關(guān)論證報(bào)告并設(shè)計(jì)出了ENIAC，但社會(huì)輿論似乎并不支持法院的判決，現(xiàn)在一提到ENIAC，幾乎眾口一詞地仍然說(shuō)是莫奇利和伊克特發(fā)明的，沒(méi)有人說(shuō)是阿塔那索夫發(fā)明的，這對(duì)美國(guó)法院的判決真是一種諷刺。ENIAC雖然作為世界上第一臺(tái)電子計(jì)算機(jī)而被載入史冊(cè)，但它不具備存儲(chǔ)程序的能力，程序要通過(guò)外接電路板輸入。要改變程序必須改接相應(yīng)的電路板，對(duì)于每種類(lèi)型的題目，都要設(shè)計(jì)相應(yīng)的外接電路板。這不是理想的結(jié)構(gòu)，不符合馮?諾伊曼早就提出的存儲(chǔ)程序的設(shè)想。那么世界上第一臺(tái)存儲(chǔ)程序式計(jì)算機(jī)是哪一臺(tái)呢？有些資料認(rèn)為是前面曾經(jīng)提到過(guò)的曼徹斯特大學(xué)的MARK玉，但現(xiàn)在一般說(shuō)法是英國(guó)劍橋大學(xué)威爾克斯（M. V. Wilkes，1967年圖靈獎(jiǎng)獲得者）設(shè)計(jì)和完成于1949年5月的EDSAC。實(shí)際上，最早開(kāi)始設(shè)計(jì)與實(shí)施存儲(chǔ)程序式計(jì)算機(jī)的還是莫爾學(xué)院的EDVAC（Electronic Discrete Variable Automatic Computer的詞頭縮寫(xiě)，意為“電子分離變量自動(dòng)計(jì)算機(jī)”）。這是1945年3月（當(dāng)時(shí)ENIAC正處于安裝調(diào)試階段），由馮?諾伊曼本人與莫奇利、伊克特等人經(jīng)過(guò)兩天會(huì)談、討論后制定的設(shè)計(jì)方案，采用電子管和半導(dǎo)體二極管，用用水銀延遲線做存儲(chǔ)器，時(shí)鐘頻率為1MHz，字長(zhǎng)為32位。由于ENIAC的原因，EDVAC的研制從1947年才開(kāi)始，加上莫奇利和伊克特兩人后來(lái)因故離開(kāi)了莫爾學(xué)院，使工程遇到了困難，1952年（有的資料說(shuō)1951年）才完成，這才使威爾克斯的EDSAC“后來(lái)居上”（詳見(jiàn)后面關(guān)于威爾克斯的介紹）。但不管EDSAC也好，EDVAC也好，都是串行計(jì)算機(jī)（serial computer），即數(shù)據(jù)的傳送和運(yùn)算是按位逐一進(jìn)行的，這樣的計(jì)算機(jī)運(yùn)算部件少，運(yùn)算也簡(jiǎn)單，但速度慢，不能滿足某些應(yīng)用的需要。那么世界上第一臺(tái)存儲(chǔ)程序式的并行計(jì)算機(jī)是哪一臺(tái)呢？這就是前述“旋風(fēng)”計(jì)算機(jī)?！靶L(fēng)”的主要設(shè)計(jì)者和研制者是MIT的弗里斯特（Jay WrightForrester）。弗里斯特也是在受軍方委托，用風(fēng)洞來(lái)研究飛機(jī)穩(wěn)定性時(shí)根據(jù)數(shù)據(jù)處理的需要而設(shè)計(jì)“旋風(fēng)”的?！靶L(fēng)”受EDVAC的影響采用存儲(chǔ)程序方式，但鑒于處理飛機(jī)穩(wěn)定性需要2000條以上指令，必須改串行為并行，但又要考慮機(jī)器體積不宜過(guò)大的因素，因此設(shè)計(jì)成16位字長(zhǎng)的并行計(jì)算機(jī)?！靶L(fēng)”的另一項(xiàng)創(chuàng)新是采用英國(guó)曼徹斯特大學(xué)威廉斯發(fā)明不久的陰極射線管做內(nèi)存儲(chǔ)器?！靶L(fēng)”的研制工作從1946年開(kāi)始，1950年試運(yùn)行成功。20世紀(jì)50年代冷戰(zhàn)加劇的形勢(shì)下，美國(guó)軍方對(duì)“旋風(fēng)”寄予了極大希望，空軍每年投資100萬(wàn)美元（試比較一下，ENIAC的總經(jīng)費(fèi)才10萬(wàn)美元），MIT也專(zhuān)門(mén)成立了著名的“林肯實(shí)驗(yàn)室”，以弗里斯特原先的實(shí)驗(yàn)室為核心，研究“旋風(fēng)”的軍事應(yīng)用。1951年，“旋風(fēng)”與當(dāng)時(shí)著名的SAGE（Semi Automatic Ground Environment，即半自動(dòng)地面防空系統(tǒng)，包括全美17個(gè)防區(qū)）首次實(shí)現(xiàn)連接，把位于卡德角的防空警戒雷達(dá)所截獲的信息送到MIT，由“旋風(fēng)”計(jì)算機(jī)進(jìn)行處理、分析和存儲(chǔ)。這是歷史上計(jì)算機(jī)與通信的第一次結(jié)合。弗里斯特還在20世紀(jì)40年代末和美籍華人科學(xué)家兼企業(yè)家王安（Wang An，1920—1990）幾乎同時(shí)分別獨(dú)立地發(fā)明了磁芯存儲(chǔ)器，并把它用在“旋風(fēng)”中以代替陰極射線管存儲(chǔ)器，從而進(jìn)一步大大提高了“旋風(fēng)”的性能。佩利在“旋風(fēng)”上工作到1952年9月。之后他來(lái)到普渡大學(xué)，在那里他創(chuàng)建了全美大學(xué)中的第一個(gè)計(jì)算中心，開(kāi)創(chuàng)了在大學(xué)中建立計(jì)算中心的先河。他出任普渡大學(xué)計(jì)算中心的第一任主任。在他的努力下，計(jì)算中心先安裝了一臺(tái)IBM的CPC計(jì)算機(jī)（Card Programmed Calculator），以后更新為Datatron 205。佩利為之設(shè)計(jì)了稱(chēng)為IT（Internal Translator）的語(yǔ)言，并開(kāi)發(fā)了IT的編譯器。1956年佩利轉(zhuǎn)到卡內(nèi)基理工學(xué)院，“故伎重演冶，又推動(dòng)該校成立了計(jì)算中心并出任主任，配置了IBM 650計(jì)算機(jī)。佩利把他在普渡大學(xué)開(kāi)發(fā)的IT及其編譯器移植到IBM 650上，并被美國(guó)許多大學(xué)所采用。在IT的基礎(chǔ)上，佩利和史密斯（J. Smith）、佐輪（H.Zoren）、伊萬(wàn)斯（A. Evans）等人一起為IBM 650設(shè)計(jì)并開(kāi)發(fā)了新的代數(shù)語(yǔ)言和匯編語(yǔ)言。這些工作奠定了佩利作為計(jì)算機(jī)程序設(shè)計(jì)語(yǔ)言的先行者的地位。因此，當(dāng)ACM于1957年成立程序設(shè)計(jì)語(yǔ)言委員會(huì)以便與歐洲的同行合作，設(shè)計(jì)通用的代數(shù)語(yǔ)言的時(shí)候，佩利被理所當(dāng)然地作為最佳人選被任命為這個(gè)委員會(huì)的主席。1958年，在蘇黎世舉行的ACM小組和以當(dāng)時(shí)聯(lián)邦德國(guó)應(yīng)用數(shù)學(xué)和力學(xué)協(xié)會(huì)GAMM為主的歐洲小組的聯(lián)合會(huì)議上，兩個(gè)小組把他們關(guān)于算法表示法的建議合二為一，形成了ALGOL 58（最初叫做“國(guó)際代數(shù)語(yǔ)言”，即International Algebraic Language，簡(jiǎn)稱(chēng)IAL。后來(lái)改叫ALGOL 58）。在ALGOL 58的基礎(chǔ)上，1960年1月在巴黎舉行的有全世界一流軟件專(zhuān)家參加的討論會(huì)上，確定了程序設(shè)計(jì)語(yǔ)言ALGOL 60，發(fā)表了“算法語(yǔ)言ALGOL 60報(bào)告”。1962年又發(fā)表了“算法語(yǔ)言ALGOL 60的修改報(bào)告”。ALGOL 60是程序設(shè)計(jì)語(yǔ)言發(fā)展史上的一個(gè)里程碑，它標(biāo)志著程序設(shè)計(jì)語(yǔ)言由一種“技藝”轉(zhuǎn)而成為一門(mén)“科學(xué)冶，開(kāi)拓了程序設(shè)計(jì)語(yǔ)言的研究領(lǐng)域，又為后來(lái)軟件自動(dòng)化的工作以及軟件可靠性問(wèn)題的發(fā)展奠定了基礎(chǔ)。而后像1967年出現(xiàn)的首次引進(jìn)“類(lèi)型”的概念，把數(shù)據(jù)和被允許施行于這些數(shù)據(jù)之上的運(yùn)算結(jié)合為一個(gè)統(tǒng)一體，因而成為現(xiàn)代抽象數(shù)據(jù)類(lèi)型的開(kāi)端以及第一個(gè)面向?qū)ο蟮恼Z(yǔ)言SIMULA 67。1971年出現(xiàn)的著名的PASCAL等語(yǔ)言，也都是在ALGOL 60的基礎(chǔ)上加以擴(kuò)充而形成的。ALGOL 60的主要特點(diǎn)有：1.局部性。首次引進(jìn)局部性概念，既擴(kuò)充了語(yǔ)言的表達(dá)能力，又可節(jié)省內(nèi)存空間，提高程序的緊湊性。2.動(dòng)態(tài)性。語(yǔ)言含有動(dòng)態(tài)成分，從而明顯提高了語(yǔ)言的表達(dá)能力（當(dāng)然也相應(yīng)增加了實(shí)現(xiàn)中的開(kāi)銷(xiāo)）。3遞歸性。遞歸性的引進(jìn)開(kāi)拓了軟件的研究領(lǐng)域，促進(jìn)了軟件的發(fā)展。4.嚴(yán)謹(jǐn)性。它的語(yǔ)法和語(yǔ)義均有嚴(yán)格的描述，特別是語(yǔ)法，采用了著名的巴克斯范式BNF，結(jié)構(gòu)清晰，理論嚴(yán)謹(jǐn)。在ALGOL 58和ALGOL 60的形成和修改過(guò)程中，佩利都起了核心和關(guān)鍵的作用。佩利之所以榮獲首屆圖靈獎(jiǎng)，主要就是因?yàn)樗谶@方面的重大貢獻(xiàn)。與此同時(shí)，在佩利的積極組織下，卡內(nèi)基理工學(xué)院率先在大學(xué)生中開(kāi)設(shè)程序設(shè)計(jì)課程。在此之前，有關(guān)程序設(shè)計(jì)的知識(shí)是作為“數(shù)值分析”課程內(nèi)容的一部分予以介紹的。程序設(shè)計(jì)課的開(kāi)設(shè)是計(jì)算機(jī)科學(xué)教育的開(kāi)端。這引起了計(jì)算機(jī)的最大用戶———美國(guó)國(guó)防部的重視，由其下屬的高級(jí)研究計(jì)劃署（ARPA）出面，資助對(duì)計(jì)算機(jī)科學(xué)及其教育進(jìn)行立項(xiàng)研究，其結(jié)果是20世紀(jì)60年代中期首先在卡內(nèi)基理工學(xué)院、斯坦福大學(xué)、麻省理工學(xué)院等少數(shù)幾個(gè)大學(xué)建立起了計(jì)算機(jī)科學(xué)系和計(jì)算機(jī)科學(xué)研究生院，使計(jì)算機(jī)科學(xué)脫離電氣工程、數(shù)學(xué)等學(xué)科而成為一門(mén)獨(dú)立的學(xué)科。鑒于在其中所起的巨大作用，佩利被稱(chēng)為“使計(jì)算機(jī)科學(xué)成為獨(dú)立學(xué)科的奠基人”———A founding father of computer sci鄄ence as a separate discipline。而在卡內(nèi)基理工學(xué)院（現(xiàn)卡內(nèi)基-梅隆大學(xué)），佩利和西蒙（H. A. Simon）、紐厄爾（A. Newell）———后二人是1975年的圖靈獎(jiǎng)獲得者———被稱(chēng)為“計(jì)算機(jī)系的三駕馬車(chē)”。1971年，佩利離開(kāi)卡內(nèi)基理工學(xué)院，加盟新成立的耶魯大學(xué)計(jì)算機(jī)系，曾數(shù)度出任系主任，為耶魯大學(xué)計(jì)算機(jī)系的建設(shè)和發(fā)展作出了重大貢獻(xiàn)。其間，1977—1978年，他曾在加州理工學(xué)院執(zhí)教。因此，佩利可謂“桃李滿天下”，尤其是美國(guó)的第一批計(jì)算機(jī)科學(xué)博士生，絕大部分都是佩利的弟子。佩利也是計(jì)算機(jī)學(xué)術(shù)組織和學(xué)術(shù)交流活動(dòng)的積極倡導(dǎo)者和組織者。1962—1964年他出任ACM主席。著名的雜志Communications ofthe ACM也是由他倡議創(chuàng)辦的，并在1958—1962年擔(dān)任第一任主編。作為知名學(xué)者，他經(jīng)常到世界各國(guó)講學(xué)或作報(bào)告，足跡遍及蘇聯(lián)、丹麥、意大利、以色列、墨西哥、秘魯、英國(guó)、荷蘭、委內(nèi)瑞拉……其中也曾兩次到中國(guó)講學(xué)。他也是“乒乓外交”后最早（1972年7月）到中國(guó)訪問(wèn)的美國(guó)計(jì)算機(jī)科學(xué)家代表團(tuán)的成員之一。佩利說(shuō)過(guò)這樣一句話：“任何名詞都可以變?yōu)閯?dòng)詞”（any noun canbe verbed）。他的意思是說(shuō)，任何遠(yuǎn)大的理想、志向、抱負(fù)和對(duì)新事物的追求，通過(guò)努力和不懈的實(shí)踐都是可以實(shí)現(xiàn)的。這是佩利總結(jié)自己的一生所形成的至理名言。佩利的主要著作有：《對(duì)程序設(shè)計(jì)語(yǔ)言的思考》（A View of Programming Languages， Ad dison-Wesley，1970）《計(jì)算機(jī)科學(xué)導(dǎo)論》（Introduction to Computer Science，Harper &Row，1972，1975）《軟件可重用性》（Software Reusability，ACM Press，1989）最后這部書(shū)分兩卷，第一卷：概念與模型（Concepts and Models），第二卷：應(yīng)用與經(jīng)驗(yàn)（Applications and Experience），是佩利與比格斯托夫（T. J. Biggerstaff）合編的。這是他生前的最后一部著作，反映了他晚年對(duì)軟件工程的關(guān)心和重視。佩利1973年當(dāng)選為美國(guó)藝術(shù)和科學(xué)院院士，1976年當(dāng)選為美國(guó)工程院院士。除了獲得圖靈獎(jiǎng)外，他還在1984年獲得AFIPS的教育獎(jiǎng)，曾被普渡大學(xué)、滑鐵盧大學(xué)等多所大學(xué)授予名譽(yù)博士學(xué)位。1990年2月7日，佩利因心臟病在康涅狄格州的紐哈芬去世，享年68歲。佩利是在1966年8月舉行的ACM第21屆全國(guó)大會(huì)上被授予圖靈獎(jiǎng)的。佩利發(fā)表了題為“算法系統(tǒng)的綜合”（The Synthesis of Algorithmic Systems）的演說(shuō)（刊于雜志Journal of the ACM，1967年1月，1—9頁(yè)，也可見(jiàn)《前20年的ACM圖靈獎(jiǎng)演說(shuō)集》（ACM Turing Award Lectures———The First 20 Years：1966—1985，ACM Press，5—16頁(yè)）。佩利發(fā)表演說(shuō)的1966年，編程還要通過(guò)專(zhuān)門(mén)設(shè)計(jì)的“編碼紙”（codingsheet）和穿孔卡片進(jìn)行。但佩利的眼光已經(jīng)瞄向未來(lái)。他在強(qiáng)調(diào)指出圖靈計(jì)算模型的重要意義以后，討論了程序設(shè)計(jì)語(yǔ)言和系統(tǒng)下一步應(yīng)朝哪些方向發(fā)展，包括更豐富的數(shù)據(jù)類(lèi)型和數(shù)據(jù)結(jié)構(gòu)，以及與之相聯(lián)系的更豐富的操作等。佩利所指出的方向有些已被隨后的研究與開(kāi)發(fā)所實(shí)現(xiàn)，如LISP和Smalltalk語(yǔ)言，有些則至今仍有待進(jìn)一步的研究。

編輯推薦

《圖靈和ACM圖靈獎(jiǎng)(第4版):紀(jì)念圖靈百年誕辰》編輯推薦：計(jì)算機(jī)的發(fā)明、發(fā)展和普及是20世紀(jì)尤其是20世紀(jì)下半葉最引人注目的事件之一。沒(méi)有哪項(xiàng)發(fā)明像計(jì)算機(jī)這樣對(duì)整個(gè)人類(lèi)文明和社會(huì)進(jìn)步發(fā)生了和發(fā)生著如此巨大、如此深刻的影響，推動(dòng)著人類(lèi)社會(huì)一日千里地向前發(fā)展，使“一天等于20年冶的夢(mèng)想成為現(xiàn)實(shí)。如同一般科學(xué)技術(shù)轉(zhuǎn)化為生產(chǎn)力，必須經(jīng)過(guò)從基礎(chǔ)理論研究到應(yīng)用產(chǎn)品開(kāi)發(fā)，直至演變?yōu)閷?shí)用技術(shù)一樣，計(jì)算機(jī)以至整個(gè)信息產(chǎn)業(yè)的發(fā)展也遵循著這個(gè)規(guī)律。從20世紀(jì)40年代世界上第一臺(tái)電子計(jì)算機(jī)ENIAC 誕生，到如今信息產(chǎn)業(yè)成為如火如荼的朝陽(yáng)產(chǎn)業(yè)和支柱產(chǎn)業(yè)，這其中有一些鮮為人知的科學(xué)家作出了重要貢獻(xiàn)。他們不如蓋茨等企業(yè)家那樣知名，那樣光彩奪目，其中絕大多數(shù)也沒(méi)有一夜暴富，但正是這些人以驚人的智慧和艱苦的探索奠定了信息大廈的基石。《圖靈和ACM圖靈獎(jiǎng)(第4版):紀(jì)念圖靈百年誕辰》所介紹的58位圖靈獎(jiǎng)獲得者就是這些科學(xué)家的代表。主要介紹了他們的工作和事跡，然而該書(shū)給讀者的收獲又不僅限于此。1.《圖靈和ACM圖靈獎(jiǎng)(第4版):紀(jì)念圖靈百年誕辰》通過(guò)追尋成功者的足跡，給人以必要的啟迪。成功的科學(xué)家們走過(guò)的道路各不相同，但細(xì)細(xì)考察起來(lái)，總會(huì)發(fā)現(xiàn)有一些共同的因素在他們的成功中起著重要作用，比如勤奮，比如善于學(xué)習(xí)，比如勇于創(chuàng)新，比如謙虛和有團(tuán)隊(duì)精神，等等。圖靈獎(jiǎng)獲得者也是這樣，他們中有不少發(fā)人深省的事例，如“關(guān)系數(shù)據(jù)庫(kù)之父冶科德在IBM 身居要職，事業(yè)有成，卻在年屆四旬時(shí)重返校園、繼續(xù)充電，終于大放異彩;如浮點(diǎn)運(yùn)算的先驅(qū)卡亨堅(jiān)持對(duì)學(xué)生嚴(yán)格要求，從而在獲獎(jiǎng)后遭致非議和攻擊，卻冷靜對(duì)待;如“IBM 360之父冶布魯克斯本來(lái)是反對(duì)IBM 360上馬的，后來(lái)卻出任它的總設(shè)計(jì)師和總指揮，在這一出人意料的轉(zhuǎn)變中表現(xiàn)出令人嘆服的明智、大度、勇氣和膽略……真是不勝枚舉。有心的讀者不難從閱讀本書(shū)中吸取成長(zhǎng)和成功所必需的養(yǎng)分。2.《圖靈和ACM圖靈獎(jiǎng)(第4版):紀(jì)念圖靈百年誕辰》通過(guò)對(duì)從20世紀(jì)下半葉直至21世紀(jì)初有代表性計(jì)算機(jī)科學(xué)家的介紹，多方位、多視角地反映計(jì)算機(jī)科學(xué)技術(shù)半個(gè)世紀(jì)來(lái)的發(fā)展歷程。對(duì)科學(xué)技術(shù)史的研究是一件大事，盡可能多一些地了解科學(xué)技術(shù)史對(duì)每個(gè)科技工作者也十分重要?！秷D靈和ACM圖靈獎(jiǎng)(第4版):紀(jì)念圖靈百年誕辰》在一定程度上反映了計(jì)算機(jī)體系結(jié)構(gòu)、程序設(shè)計(jì)語(yǔ)言、算法設(shè)計(jì)與分析、操作系統(tǒng)和編譯程序、數(shù)據(jù)庫(kù)技術(shù)、計(jì)算復(fù)雜性理論、軟件工程、人工智能等計(jì)算機(jī)科學(xué)技術(shù)主要分支的形成過(guò)程和發(fā)展概況，為讀者提供了較多的背景材料。3.《圖靈和ACM圖靈獎(jiǎng)(第4版):紀(jì)念圖靈百年誕辰》在介紹人物和歷史的同時(shí)，介紹計(jì)算機(jī)科學(xué)技術(shù)中的一些主要概念、主要理論、主要系統(tǒng)，起到一部高度濃縮的、袖珍的“計(jì)算機(jī)科學(xué)技術(shù)百科全書(shū)冶的作用。原名《ACM圖靈獎(jiǎng)——計(jì)算機(jī)發(fā)展史的縮影》，初版于2000年8月，已經(jīng)歷12個(gè)年頭，期間兩次增補(bǔ)、修訂后再版?！秷D靈和ACM圖靈獎(jiǎng)(第4版):紀(jì)念圖靈百年誕辰》受到廣大讀者的歡迎，尤其受到高校同計(jì)算機(jī)相關(guān)專(zhuān)業(yè)的師生以及IT從業(yè)人員的歡迎。今年6月23日是圖靈誕生100周年。第四版改為現(xiàn)名，并選擇在這個(gè)時(shí)候出版，就是為了緬懷圖靈的豐功偉績(jī)以紀(jì)念這位科學(xué)巨人百年誕辰。

名人推薦

向計(jì)算機(jī)專(zhuān)業(yè)師生推薦一本好書(shū)這是一本計(jì)算機(jī)專(zhuān)業(yè)師生以及所有計(jì)算機(jī)科學(xué)技術(shù)工作者必讀的好書(shū)。在一片追趕計(jì)算機(jī)新技術(shù)的聲浪中，高等教育出版社能出版這本追溯計(jì)算機(jī)發(fā)展光輝歷史的書(shū)實(shí)在難得。ACM圖靈獎(jiǎng)相當(dāng)于計(jì)算機(jī)業(yè)界的諾貝爾獎(jiǎng)。本書(shū)記錄了自計(jì)算機(jī)誕生以來(lái)半個(gè)世紀(jì)59位計(jì)算機(jī)科學(xué)家的事跡。按得獎(jiǎng)內(nèi)容編排了47個(gè)小故事，文字通俗生動(dòng)、洗練概括，把復(fù)雜深?yuàn)W的內(nèi)容講得清晰、明白，即使對(duì)一般讀者而言，閱讀起來(lái)也不會(huì)有太大的困難。每個(gè)計(jì)算機(jī)與計(jì)算技術(shù)的從業(yè)者，或多或少知道一些先驅(qū)、巨匠推動(dòng)本學(xué)科發(fā)展的光輝成就，如圖靈的圖靈機(jī)模型、巴克斯的語(yǔ)法范式、狄克斯特拉的結(jié)構(gòu)化程序設(shè)計(jì)方法學(xué)、霍爾的快速分類(lèi)算法、科德的關(guān)系數(shù)據(jù)庫(kù)，等等；但總覺(jué)得不夠全面、不夠完整，而且想知道得更多，這是業(yè)者熱愛(ài)自己學(xué)科很自然的情結(jié)，又苦于沒(méi)有時(shí)間到浩如煙海的文獻(xiàn)中去搜集。本書(shū)是一個(gè)絕好的濃縮本，它把59顆最明亮的珍珠串成光彩奪目的項(xiàng)鏈——濃縮的計(jì)算機(jī)科學(xué)史。這本書(shū)在介紹多位成功者業(yè)績(jī)時(shí)，穿插了許多故事、軼聞，給讀者很多啟迪。例如，并非所有成功者都是少年學(xué)習(xí)尖子、科班出生的天才。大名鼎鼎的巴克斯，20歲以前竟是從不用功的紈绔子弟，并被學(xué)校逐出大門(mén)。精通程序語(yǔ)言語(yǔ)法、歸納斷言創(chuàng)始人弗洛伊德竟是文學(xué)學(xué)士出身的程序員。關(guān)系數(shù)據(jù)庫(kù)之父科德年輕時(shí)參加反法西斯戰(zhàn)爭(zhēng)，是功勛卓著的空軍機(jī)長(zhǎng)，42歲才取得計(jì)算機(jī)博士學(xué)位。磁盤(pán)存儲(chǔ)系統(tǒng)發(fā)明人約翰遜是學(xué)教育學(xué)的中學(xué)教師，28歲改行進(jìn)入IBM公司，在長(zhǎng)期實(shí)際工作中自學(xué)成才。學(xué)習(xí)本學(xué)科的歷史對(duì)培養(yǎng)學(xué)科人才是極其有意義的，因?yàn)樗粌H使我們看到本學(xué)科發(fā)展的軌跡、巨人的腳步，有利于我們判明今后的方向，更重要的是有利于提高我們的科學(xué)素質(zhì)，也就是處理本學(xué)科問(wèn)題時(shí)應(yīng)有的思維方式、表達(dá)方式和行為方式。學(xué)科素質(zhì)是出自第六感覺(jué)的自然流露，當(dāng)我們遇到新問(wèn)題時(shí)不會(huì)像外行一樣不靠譜地蠻干。當(dāng)然學(xué)科素質(zhì)不是一本書(shū)就可以解決問(wèn)題的，但這本書(shū)是很好的索引。讀了這本書(shū)，至少我們不會(huì)說(shuō)蠢話，如“形式化方法對(duì)編制軟件一點(diǎn)用都沒(méi)有”。我們也能悟出有益的判斷，如“這個(gè)問(wèn)題先驅(qū)們大概不會(huì)這么干”。另一方面，這本書(shū)通過(guò)介紹先驅(qū)們的發(fā)明和創(chuàng)新，以及許多具有前瞻性的設(shè)想和思路，對(duì)我們會(huì)有很大的啟迪作用，同時(shí)，對(duì)培養(yǎng)學(xué)生的創(chuàng)新意識(shí)、創(chuàng)新精神也是大有裨益的。今年6月23日是圖靈誕生100周年。世界各國(guó)的科學(xué)界都將舉行隆重的紀(jì)念活動(dòng)。本書(shū)選擇在這個(gè)時(shí)候出版，就是為了緬懷圖靈的豐功偉績(jī)以紀(jì)念這位科學(xué)巨人百年誕辰。

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    圖靈和ACM圖靈獎(jiǎng) PDF格式下載

---