2024香港最具教育競爭力中學/小學/幼稚園50強龍虎榜
2024香港最具教育競爭力中學/小學/幼稚園排名指南
最近十一年香港最具教育競爭力中學/小學/幼稚園50強完整版榜單:
2024202320222021/202019201820172016201520142013
教育競爭力評比體系說明
校風評比體系說明
服务全球华人的中英文書籍網上書店
您的購物車是空的

圖靈和ACM圖靈獎(第4版):紀念圖靈百年誕辰

  • 作者:吳鶴齡,崔林 編
  • 出版社: 高等教育出版社
  • 出版時間:2012-06-01
  • 版次:4
  • 商品編號: 11030162

    頁數:355

    印次:1

    印刷時間:2012-06-01


HK$55.60 (速遞費用須知)
購買額滿HK$158免運費
免郵費優惠僅限香港、澳门、
台灣及中國大陸

購買數量:

內容簡介

  《圖靈和ACM圖靈獎(第4版):紀念圖靈百年誕辰》介紹了圖靈及自1966年至今圖靈獎的獲得者的工作和事蹟。通過對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)
參考文獻


我們接受以下的付款方式︰VISA、Mastercard、JCB 信用卡、PayPal、銀行轉帳。