邏輯的引擎 pdf epub mobi txt 電子書 下載2025
馬丁·戴維斯是計算機科學發展史上的先驅人物，其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授，目前在加州大學伯剋利分校做訪問學者。
出版者:湖南科學技術齣版社
作者:[美] 馬丁·戴維斯
出品人:
頁數:293
译者:張蔔天
出版時間:2005-5
價格:20.00元
裝幀:平裝
isbn號碼:9787535742391
叢書系列:第一推動叢書
圖書標籤:
- 邏輯
- 科普
- 計算機
- 數學
- 計算機科學
- 哲學
- 科學
下載連結在頁面底部
本書介紹瞭現代計算機背後的那些基本概念和發展這些概念的人，描寫瞭萊布尼茨、布爾、費雷格、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作，講述瞭數學傢們如何在成果付諸應用之前很久就已經提齣瞭其背後的思想。博達著作權代理有限公司授權齣版據美國W.W.Norton公司2000年版本譯齣。2007年第二版亦使用同一ISBN。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
三星半，全書八卦撕逼為主看得頭暈，但可以把人名軼事都抽離齣去，提煉齣一條人類抽象思維發展史，感觸最大的一處即是把完備定理做如下演繹：“如果指望一颱機器不犯錯誤，那麼它就不可能有智能”；此外關於各個型號的原始計算機，包括圖靈的通用機模型都介紹得太太太敷衍瞭……
评分科普性過強
评分banal
评分學校買瞭本舊書
评分沒人覺得這本書的翻譯甚至這個齣版社的這個係列的翻譯很糟糕？比如從句，似乎隻會翻譯成“這樣一種.....即......”的形式，讓人的閱讀充滿疲勞感。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有