掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
上海花園動植物指南
-
>
世界鳥類百科圖鑒:亞洲鳥類/歐洲鳥類/非洲鳥類/澳洲鳥類(全五冊)
-
>
科壇趣話:科學、科學家與科學家精神
-
>
愛因斯坦在路上:科學偶像的旅行日記
-
>
不可思議的科學史
-
>
動物生活史
-
>
影響世界的中國植物(全新修訂版)
邏輯的引擎 版權信息
- ISBN：9787535794420
- 條形碼：9787535794420 ; 978-7-5357-9442-0
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
邏輯的引擎 本書特色
本書講述了計算機思想層面的歷史，通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數學家們如何在成果付諸應用之前就已經提出了其背后的思想。
邏輯的引擎 內容簡介
本書被譽從邏輯角度講述計算機發展的*好的通俗讀本。讀者將對西方文化的核心之一——邏輯或數學有更深的理解，并且造就一種敏銳的眼光和問題意識，認識到再復雜的東西其實也是由簡單的東西根據一定的規則組合而成的。本書講述了位于計算機背后的思想層面的歷史。通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數學家們如何在成果付諸應用之前很久就已經提出了其背后的思想。
邏輯的引擎 目錄
目錄：
引言
**章 萊布尼茨之夢
第二章 布爾把邏輯變成代數
第三章 弗雷格：從突破到絕望
第四章 康托爾：在無限中摸索
第五章 希爾伯特的營救
第六章 哥德爾使計劃落空
第七章 圖靈構想通用計算機
第八章 研制**批通用計算機
第九章 超越萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯后記
**章 萊布尼茨之夢
第二章 布爾把邏輯變成代數
第三章 弗雷格：從突破到絕望
第四章 康托爾：在無限中摸索
第五章 希爾伯特的營救
第六章 哥德爾使計劃落空
第七章 圖靈構想通用計算機
第八章 研制**批通用計算機
第九章 超越萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯后記
展開全部
邏輯的引擎 相關資料
一部出色的作品，戴維斯的書不僅使我們受益匪淺，而且讀起來其樂無窮。它對技術方面的討論清晰準確、易于理解，傳記概略使人物形象栩栩如生……當會吸引許多人。——小約翰·W. 道森 通過和馬丁·戴維斯一起漫步邏輯的歷史及其先驅者的生活，任何同計算機打交道的人，任何試圖展望電子技術未來的人都會受益匪淺。——約翰·麥卡錫，斯坦福大學 這是一段探尋邏輯的邊界以及介于其間的機器的美妙歷史。戴維斯熔數學細節和趣聞逸事為一爐，告訴我們是怎樣逐漸認識到計算機和邏輯思想的界限的……他的書引領我們對數學和邏輯的一個重要分支進行了全面的了解。——彼得·韋納，《連線》 這本關于計算機起源的書生動講述了人類探求邏輯和真理的故事。馬丁·戴維斯用博學而充滿人情味的語言，娓娓講述了那些為計算機的出現奠定基礎的非凡人物的故事。這些人物以阿蘭·圖靈為*，其通用機器現在已經主宰了世界經濟。——安德魯·霍奇斯，《阿蘭·圖靈：一個不可思議的人》作者 如同一位雕塑家充滿愛意地述說著石頭，馬丁·戴維斯以生動的筆觸講述著邏輯。通過對這些思想充滿溫情的描述，他向我們展現了為數不多的幾種關鍵的洞察和符號——它們往往產生于精神的渴望——如何營造了一個我們當今仍在探索的空間架構。——丹尼斯·夏沙，紐約大學 邏輯學家提出的思想促成了計算機革命，要講述他們的故事，很難想象還有誰會比馬丁·戴維斯更能勝任……生動詼諧，平易近人，不乏珍聞趣事，迷人的故事……讀此書其樂融融。——布賴恩·布蘭克，華盛頓大學
邏輯的引擎 作者簡介
作者簡介： 馬丁·戴維斯（Martin Davis），計算機科學發展史上的先驅人物，其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一，他是紐約大學庫朗數學科學研究所的榮譽教授，之后在加州大學伯克利分校做訪問學者。 譯者介紹： 張卜天，1979年9月生，師從吳國盛。熱愛哲學和科學史方面的翻譯，研究方向為西方中世紀和近代早期科學思想史，研究領域主要集中在近代科學的起源和科學革命。
書友推薦
- >
朝聞道
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
李白與唐代文化
- >
羅庸西南聯大授課錄
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
中國歷史的瞬間
- >
莉莉和章魚
- >
二體千字文
本類暢銷
