第一推動叢書 綜合系列:邏輯的引擎 第一推动丛书 综合系列:逻辑的引擎 [美] 馬丁·戴維斯 出版商: 湖南科學技術出版社 出版日期: 2018-02-01 定價: $294 售價: 8.5 折 $250 語言: 簡體中文 頁數: 310 裝訂: 平裝 ISBN: 7535794424 ISBN-13: 9787535794420 下單後立即進貨 (約4週~6週) 買這商品的人也買了... $165 編程風格 : 好代碼的邏輯 (Exercises in Programming Style) $505 程序員面試手冊:概念、編程問題及面試題 $880 $695 提升程式設計師的面試力|189道面試題目與解答, 6/e (Cracking the Coding Interview : 189 Programming Questions and Solutions, 6/e) 商品描述 本書講述了電腦思想層面的歷史,通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作,講述了數學家們如何在成果付諸應用之前就已經提出了其背後的思想。