買這商品的人也買了...
-
C++ 編程規範 (C++ Coding Standards: 101 Rules, Guidelines, and Best Practices)$580$493 -
Linux Device Driver Programming 驅動程式設計$690$587 -
大話資料結構$590$466 -
Binary Hacks -- 駭客秘傳技巧一百招$580$458 -
$875RF Module: The Three Stub Tuner (Hardcover) -
$234編譯技術 -
系統思考：克服盲點、面對複雜性、見樹又見林的整體思考 (Thinking in Systems: A Primer)$450$356 -
你所不知道的 JS｜導讀，型別與文法 (You Don't Know JS: Up & Going)$520$411 -
你所不知道的 JS｜範疇與 Closures，this 與物件原型 (You Don't Know JS: this & Object Prototypes)$520$411 -
Discovery kit with STM32F429ZI MCU - mbed 版$1,280$1,280 -
$387Visual C# 從入門到精通, 8/e -
$352大數據架構詳解：從數據獲取到深度學習 -
你所不知道的 JS｜非同步處理與效能 (You Don't Know JS: Async & Performance)$520$411 -
你所不知道的 JS｜ES6 與未來發展 (You Don't Know JS: ES6 & Beyond)$520$411 -
大數據時代一定要會的自動化資料搜集術$480$408 -
演算法圖鑑：26種演算法 + 7種資料結構，人工智慧、數據分析、邏輯思考的原理和應用 step by step 全圖解$450$356 -
為你自己學 Git$500$425 -
圖解區塊鏈$380$300 -
Go Web 編程 (Go Web Programming)$474$450 -
金融科技實戰：Python 與量化投資$650$507 -
$359C++ 從入門到項目實踐（超值版） -
Verilog 硬體描述語言數位電路 -- 設計實務, 10/e$590$561 -
21世紀 C語言, 2/e (21st Century C: C Tips from the New School, 2/e)$680$537 -
$179算法基礎與實驗 -
$387JavaScript 高級程序設計, 4/e (Professional JavaScript for Web Developers, 4/e)
商品描述
本書從計算的變遷這一獨特視角回顧了數學、邏輯學和哲學的歷史沿革，展
現了計算為數學研究發展帶來的全新前景，展望了這場數學革命在自然科學、信
息科學與哲學領域引發的重大變革。本書榮獲年法蘭西學術院哲學大獎，一直是數學、電腦科學和哲學領域的暢銷讀物。
作者簡介
Gilles Dowek，法國數學家、邏輯學家和計算機科學家，法國國家計算機與自動化研究所機器證明處理系統、編程語言、航空系統安全專家，美國國家航空研究院顧問。多維克撰寫過多部數學和計算機科學科普作品，曾榮獲法國數學學會達朗貝爾獎和法蘭西學術院哲學大獎。
目錄大綱
第一篇古老的起源
第1章從史前數學到希臘數學2
第2章計算兩千年17
第二篇古典時代
第3章謂詞邏輯36
第4章判定性問題與丘奇定理56
第5章丘奇論題73
第6章為計算樹立數學地位的嘗試——λ演算94
第7章構造性100
第8章構造性證明與算法113
第三篇公理化危機
第9章直覺主義類型論122
第10章自動化證明132
第11章證明檢驗145
第12章學界新進展153
第13章工具172
第14章公理的終結？187
結語旅程的尾聲190
附錄一人物簡介193
附錄二參考文獻208
索引212
