ACM圖靈獎(1966-2006)

ACM圖靈獎(1966-2006)

《ACM圖靈獎(1966-2006)》是2008年高等教育出版社出版的圖書,作者是吳鶴齡、崔林。本書通過對20世紀下半葉及21世紀初有代表性計算機科學家的介紹,多方位、多視角地反映計算機科學技術半個多世紀來的發展歷程。

基本信息

作 者:吳鶴齡,崔林 著

出 版 社:高等教育出版社

出版時間:2008-1-1

版 次:3

頁 數:323

字 數:270000

印刷時間:2008-1-1

開 本:大32開

紙 張:膠版紙

印 次:1

I S B N:9787040232196

包 裝:平裝

內容簡介

《ACM圖靈獎:計算機發展史的縮影(1966-2006)(第3版)》介紹了51位ACM圖靈獎獲得者的工作和事跡。《ACM圖靈獎:計算機發展史的縮影(1966-2006)(第3版)》在一定程度上反映了計算機體系結構、程式設計語言、算法設計與分析、作業系統和編譯程式、資料庫技術、計算複雜性理論、軟體工程、人工智慧等計算機科學技術主要分支的形成過程和發展概況。通過追尋成功者的足跡,給人以必要的啟迪,讀者可以從閱讀《ACM圖靈獎:計算機發展史的縮影(1966-2006)(第3版)》中吸取成長和成功所必需的養分。

圖書目錄

圖靈和圖靈獎

歷屆圖靈獎獲得者介紹

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年圖靈獎獲得者:艾倫·凱——“個人計算機之父”及Smalhalk語言發明人

2004年圖靈獎獲得者:文登·塞夫和羅伯特·凱恩——Inter-net基礎通信協定TCP/IP之父

2005年圖靈獎獲得者:彼得·諾爾——從天文學家到計算機科學家

2006年圖靈獎獲得者:弗朗西絲·愛倫——編譯器最佳化理論與實踐的先驅

附錄一 計算技術發展大事記

附錄二 向計算機專業師生推薦兩本好書

人名索引(Name Index)

總索引(General Index)

參考文獻

熱門詞條

聯絡我們