本書介紹瞭現代計算機背後的那些基本概念和發展這些概念的人,描寫瞭萊布尼茨、布爾、費雷格、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前很久就已經提齣瞭其背後的思想。博達著作權代理有限公司授權齣版據美國W.W.Norton公司2000年版本譯齣。2007年第二版亦使用同一ISBN。
馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
這其實是一本八卦書吧。
评分我相信強人工智能會實現的,這本書裏寫的隻是一個開頭。
评分萊布尼茲、布爾、弗雷格、康托爾、希伯特、哥德爾、圖靈。邏輯數學,形式邏輯,並通過工程學轉換為當代機器和人工智能
评分學校買瞭本舊書
评分從數學與邏輯的角度講述計算機的發展史。 我們隻知道電子管、晶體管、集成電路,卻不知道計算機背後的思想。萊布尼茨、布爾、希爾伯特、哥德爾、圖靈、馮諾依曼。。。那些偉大的名字不應該被忘記。
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2026 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有