出版時間:2008-1 出版社:高等教育 作者:吳鶴齡 頁數(shù):323
Tag標簽:無
前言
計算機是20世紀40年代人類的偉大創(chuàng)造。從1946年世界上第一臺電子計算機ENIAc的誕生,迄今為止其發(fā)展已逾50年,計算機的性能有了顯著提高。當前,已出現(xiàn)峰值運算速度達每秒十幾萬億次的巨型計算機。短短的半個世紀,計算機對人類社會的進步與發(fā)展產(chǎn)生了巨大的推動作用,影響深遠。計算機的出現(xiàn),使人們在物質和能量兩大戰(zhàn)略資源之外,開發(fā)和利用了“信息”這一新的戰(zhàn)略資源,開拓了人類認識自然、改造自然的新領域;計算機的出現(xiàn),在理論推導與科學實驗兩大發(fā)展科學技術的傳統(tǒng)手段之外,增添了人類發(fā)展科學技術的新手段,即所謂“計算”手段;計算機的出現(xiàn),為人類創(chuàng)造文化提供了新的現(xiàn)代化工具,改變了人們創(chuàng)造文化的活動方式、方法和性質;計算機的出現(xiàn),引發(fā)了人類工作方式和生活方式的變化?! ≡谑兰o之交,以微電子、計算機硬件、計算機軟件、通信等技術為主導的信息技術革命正在迅猛地改變我們所生存的社會,人類開始從工業(yè)社會進入信息時代。信息技術在世界新技術革命中不僅作為一項獨立的技術而存在,還廣泛滲透于各個高科技領域以及生產(chǎn)、經(jīng)營、管理等過程,成為它們發(fā)展的基本依據(jù)和重要手段。信息化正從整體上引導著世界經(jīng)濟和社會發(fā)展的進程,信息技術已成為經(jīng)濟發(fā)展的關鍵因素和倍增器,隨之而興起的信息產(chǎn)業(yè)將成為全球經(jīng)濟發(fā)展的主導產(chǎn)業(yè)。
內容概要
《ACM圖靈獎:計算機發(fā)展史的縮影(1966-2006)(第3版)》介紹了51位ACM圖靈獎獲得者的工作和事跡。通過對20世紀下半葉及21世紀初有代表性計算機科學家的介紹,多方位、多視角地反映計算機科學技術半個多世紀來的發(fā)展歷程?!禔CM圖靈獎:計算機發(fā)展史的縮影(1966-2006)(第3版)》在一定程度上反映了計算機體系結構、程序設計語言、算法設計與分析、操作系統(tǒng)和編譯程序、數(shù)據(jù)庫技術、計算復雜性理論、軟件工程、人工智能等計算機科學技術主要分支的形成過程和發(fā)展概況。通過追尋成功者的足跡,給人以必要的啟迪,讀者可以從閱讀《ACM圖靈獎:計算機發(fā)展史的縮影(1966-2006)(第3版)》中吸取成長和成功所必需的養(yǎng)分。
書籍目錄
圖靈和圖靈獎歷屆圖靈獎獲得者介紹1966年圖靈獎獲得者:艾倫·佩利——ALGOL語言和計算機科學的“催生者”1967年圖靈獎獲得者:莫里斯·威爾克斯——世界上第一臺存儲程序式計算機EDSAC的研制者1968年圖靈獎獲得者:理查德·哈明——發(fā)明糾錯碼的大數(shù)學家和信息學專家1969年圖靈獎獲得者:馬文·明斯基——“人工智能之父”和框架理論的創(chuàng)立者1970年圖靈獎獲得者:詹姆斯·威爾金森——數(shù)值分析專家和研制ACE計算機的功臣1971年圖靈獎獲得者:約翰·麥卡錫——“人工智能之父”和LISP語言的發(fā)明人1972年圖靈獎獲得者:埃德斯加·狄克斯特拉、——最先察覺“goto有害”的計算機科學大師1973年圖靈獎獲得者:查爾斯·巴赫曼——“網(wǎng)狀數(shù)據(jù)庫之父”1974年圖靈獎獲得者:唐納德·克努特——經(jīng)典巨著《計算機程序設計的藝術》的年輕作者1975年圖靈獎獲得者:赫伯特·西蒙和艾倫·紐厄爾——人工智能符號主義學派的創(chuàng)始人1976年圖靈獎獲得者:米凱爾·拉賓和達納·斯科特——非確定性有限狀態(tài)自動機理論的開創(chuàng)者1977年圖靈獎獲得者:約翰·巴克斯——FORTRAN和BNF的發(fā)明者1978年圖靈獎獲得者:羅伯特·弗洛伊德——前后斷言法的創(chuàng)始人1979年圖靈獎獲得者:肯尼思·艾弗森——大器晚成的科學家,APL的發(fā)明人1980年圖靈獎獲得者:查爾斯·霍爾——從QUICKSORT、CASE到程序設計語言的公理化1981年圖靈獎獲得者:埃德加·科德——“關系數(shù)據(jù)庫之父”1982年圖靈獎獲得者:斯蒂芬·庫克——NP完全性理論的奠基人1983年圖靈獎獲得者:肯尼思·湯普森和丹尼斯·里奇——C和UNIX的發(fā)明者1984年圖靈獎獲得者:尼克勞斯·沃思——PASCAL之父及結構化程序設計的首創(chuàng)者1985年圖靈獎獲得者:理查德·卡普——發(fā)明“分枝限界法”的三棲學者 1986年圖靈獎獲得者:約翰·霍普克洛夫特和羅伯特·陶爾揚——碩果累累的算法設計大師1987年圖靈獎獲得者:約翰·科克——RISC概念的首創(chuàng)者1988年圖靈獎獲得者:伊萬·薩瑟蘭——計算機圖形學之父1989年圖靈獎獲得者:威廉·卡亨——浮點計算的先驅1990年圖靈獎獲得者:費爾南多·考巴脫——實現(xiàn)分時系統(tǒng)的功臣1991年圖靈獎獲得者:羅賓·米爾納——標準元語言ML的開發(fā)者1992年圖靈獎獲得者:巴特勒·蘭普森——從Alto系統(tǒng)的首席科學家到微軟的首席技術官 1993年圖靈獎獲得者:尤里斯·哈特馬尼斯和理查德·斯特恩斯——計算復雜性理論的主要奠基人1994年圖靈獎獲得者:愛德華·費根鮑姆和勞伊·雷迪——大型人工智能系統(tǒng)的開拓者1995年圖靈獎獲得者:曼紐爾·布盧姆——計算復雜性理論的主要奠基人之一1996年圖靈獎獲得者:阿米爾·伯努利——把時態(tài)邏輯引入計算機科學1997年圖靈獎獲得者:道格拉斯·恩格爾巴特——鼠標器的發(fā)明人和超文本研究的先驅1998年圖靈獎獲得者:詹姆斯·格雷——數(shù)據(jù)庫技術和“事務處理”專家1999年圖靈獎獲得者:弗雷德里克·布魯克斯——IBM 360系列計算機的總設計師和總指揮2000年圖靈獎獲得者:姚期智——計算理論領域卓越的開拓者2001年圖靈獎獲得者:奧爾-約翰·戴爾和克利斯登·奈加特——挪威計算機科學家,面向對象技術奠基人2002年圖靈獎獲得者:利維斯、沙米爾和阿德勒曼——最具影響力的公鑰密碼算法RSA的發(fā)明人2003年圖靈獎獲得者:艾倫·凱——“個人計算機之父”及Smalhalk語言發(fā)明人2004年圖靈獎獲得者:文登·塞夫和羅伯特·凱恩——Inter-net基礎通信協(xié)議TCP/IP之父2005年圖靈獎獲得者:彼得·諾爾——從天文學家到計算機科學家2006年圖靈獎獲得者:弗朗西絲·愛倫——編譯器優(yōu)化理論與實踐的先驅附錄一 計算技術發(fā)展大事記附錄二 向計算機專業(yè)師生推薦兩本好書人名索引(Name Index)總索引(General Index)參考文獻
圖書封面
圖書標簽Tags
無
評論、評分、閱讀與下載