人民幣定價：26 元
定 價：NT$ 156 元
優惠價：87 折 136 元
絕版無法訂購
相關商品
商品簡介
作者簡介
目次
商品簡介
本書講述的是我們的現代計算機所基于的那些基本概念和發展出這些概念的人。計算機從二十世紀五十年代的塞滿整個房間的龐然大物，逐漸演變成今天輕巧而強大的能夠完成各種任務的機器，在這整個過程中，其背后的邏輯始終保持如一。這些邏輯概念是幾個世紀以來數位天才思想家一步步發展出來的。在本書中，我將講述這些人的生活故事，并解釋他們的部分思想。這些故事本身是引人入勝的，我希望讀者們不僅能夠喜歡它們，而且在讀完之后能夠更加了解計算機內部的秘密，同時對抽象思想的價值多一份敬意。本書作者馬丁·戴維斯是計算機科學發展史上的先區人物，曾對希爾伯特第十問題有過深入的研究。本書被譽從邏輯角度講述計算機發展的最好的通俗讀本。讀者將對西方文化的核心之一——邏輯或數學有更深的理解，并且造就一種敏銳的眼光和問題意識，認識到再復雜的東西其實也是由簡單的東西根據一定的規則組合而成的。在普遍崇拜技術外表而忽視其深層本質的今天，本書顯得尤為難得和重要。本書講述了位于計算機背后的思想層面的歷史。它通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數學家們如何在成果付諸應用之前很久就已經提出了其背后的思想。
作者簡介
馬丁·戴維斯是計算機科學發展史上的先驅人物，其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一他是紐約大學庫朗數學科學研究所的榮譽退休教授，目前在加州大學伯克利分校做訪問學者。
目次
引言
第一章 萊布尼茨之夢
第二章 布爾把邏輯變成代數
第三章 弗雷格：從突破到絕望
第四章 康托爾：在無限中摸索
第五章 希爾伯特的營救
第六章 哥德爾使計劃落空
第七章 圖靈構想通用計算機
第八章 研制第一批通用計算機
第九章 超越萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯后記
第一章 萊布尼茨之夢
第二章 布爾把邏輯變成代數
第三章 弗雷格：從突破到絕望
第四章 康托爾：在無限中摸索
第五章 希爾伯特的營救
第六章 哥德爾使計劃落空
第七章 圖靈構想通用計算機
第八章 研制第一批通用計算機
第九章 超越萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯后記
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。