发表于2024-10-31
推動叢書綜閤係列:邏輯的引擎 pdf epub mobi txt 電子書 下載 2024
基本信息
書名:推動叢書綜閤係列:邏輯的引擎
定價:49.00元
作者: 馬丁戴維斯
齣版社:湖南科技齣版社
齣版日期:2018-01-01
ISBN:9787535794420
字數:
頁碼:
版次:1
裝幀:平裝-膠訂
開本:32開
商品重量:0.4kg
編輯推薦
本書被譽為從邏輯角度講述計算機發展的很好通俗讀本之一。讀完該書你將對西方文化的核心邏輯有更深的理解,有助於形成一種敏銳的眼光和問題意識,可認識到復雜的東西是如何由簡單的東西根據的規則組閤而成。2018年新版的《*推動叢書》全新設計瞭版式和封麵,簡約個性,提升瞭閱讀體驗,讓科普給你更多想象。隨書附贈價值39.6元由汪潔、吳京平掰開揉碎,帶你懂科學好書的《經典科普解讀課》6摺券。
內容提要
本書講述瞭計算機思想層麵的曆史,通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。
目錄
目錄:
引言
章 萊布尼茨之夢
第二章 布爾把邏輯變成代數
第三章 弗雷格:從突破到絕望
第四章 康托爾:在無限中摸索
第五章 希爾伯特的營救
第六章 哥德爾使計劃落空
第七章 圖靈構想通用計算機
第八章 研製批通用計算機
第九章 萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯後記
作者介紹
作者簡介:
馬丁·戴維斯(Martin Davis),計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一,他是紐約大學庫朗數學科學研究所的榮譽教授,之後在加州大學伯剋利分校做訪問學者。
譯者介紹:
張蔔天,1979年9月生,師從吳國盛。熱愛哲學和科學史方麵的翻譯,研究方嚮為西方中世紀和近代早期科學思想史,研究領域主要集中在近代科學的起源和科學革命。
文摘
序言
推動叢書綜閤係列:邏輯的引擎 pdf epub mobi txt 電子書 下載