《圖靈和ACM圖靈獎》是2012年高等教育出版社出版的圖書，作者是吳鶴齡、崔林。本書介紹了圖靈及自1966年至今圖靈獎的獲得者的工作和事跡。
基本介紹
- 作者：吳鶴齡 / 崔林
- ISBN：9787040356526
- 頁數：355
- 定價：30.00元
- 出版社：高等教育出版社
- 出版時間：2012-6
- 副標題：紀念圖靈百年誕辰
內容介紹,作品目錄,
內容介紹
《圖靈和ACM圖靈獎(第4版):紀念圖靈百年誕辰》通過對20世紀下半葉及21世紀初有代表性計算機科學家的介紹，多方位、多視角地反映計算機科學技術半個多世紀來的發展歷程。《圖靈和ACM圖靈獎(第4版):紀念圖靈百年誕辰》在一定程度上反映了計算機體系結構、程式設計語言、算法設計與分析、作業系統和編譯程式、資料庫技術、計算複雜性理論、軟體工程、人工智慧等計算機科學技術主要分支的形成過程和發展概況。通過追尋成功者的足跡，給人以必要的啟迪，讀者可以從閱讀中吸取成長和成功所必需的養分。
作品目錄
圖靈和圖靈獎
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）
參考文獻
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）
參考文獻
