第一推動叢書 綜合系列:邏輯的引擎 第一推动丛书 综合系列:逻辑的引擎

[美] 馬丁·戴維斯

  • 出版商: 湖南科學技術出版社
  • 出版日期: 2018-02-01
  • 定價: $294
  • 售價: $294
  • 貴賓價: 9.5$279
  • 語言: 簡體中文
  • 頁數: 310
  • 裝訂: 平裝
  • ISBN: 7535794424
  • ISBN-13: 9787535794420

立即出貨 (庫存=1)

買這商品的人也買了...

商品描述

本書講述了電腦思想層面的歷史,通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作,講述了數學家們如何在成果付諸應用之前就已經提出了其背後的思想。