圖靈和ACM圖靈獎(jiǎng)：紀(jì)念圖靈百年誕辰（第4版）

定　價(jià)：￥30.00

作　者：	吳鶴齡, 崔林著
出版社：	高等教育出版社
叢編項(xiàng)：
標(biāo)　簽：	科學(xué)家

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787040356526	出版時(shí)間：	2012-06-01	包裝：	平裝
開(kāi)本：	32開(kāi)	頁(yè)數(shù)：	356	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《圖靈和ACM圖靈獎(jiǎng)（第4版）：紀(jì)念圖靈百年誕辰》介紹了圖靈及自1966年至今圖靈獎(jiǎng)的獲得者的工作和事跡。通過(guò)對(duì)20世紀(jì)下半葉及21世紀(jì)初有代表性計(jì)算機(jī)科學(xué)家的介紹，多方位、多視角地反映計(jì)算機(jī)科學(xué)技術(shù)半個(gè)多世紀(jì)來(lái)的發(fā)展歷程?！秷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ā)展概況。通過(guò)追尋成功者的足跡，給人以必要的啟迪，讀者可以從閱讀中吸取成長(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)和華容道》、《囚徒的困境》、《迷宮趣話(huà)》、《魅力魔方》等多部原創(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)工程”，《迷宮趣話(huà)》入選國(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)