計算進化史 : 改變數學的命運 计算进化史 改变数学的命运 (图灵新知)
吉爾·多維克
- 出版商: 人民郵電
- 出版日期: 2017-02-01
- 定價: $234
- 售價: 8.5 折 $199
- 語言: 簡體中文
- 頁數: 214
- ISBN: 7115447578
- ISBN-13: 9787115447579
立即出貨 (庫存=1)
買這商品的人也買了...
-
$580$493 -
$690$538 -
$590$502 -
$580$493 -
$875RF Module: The Three Stub Tuner (Hardcover)
-
$199編譯技術
-
$450$356 -
$520$442 -
$520$442 -
$1,280$1,280 -
$658Visual C# 從入門到精通, 8/e
-
$327大數據架構詳解:從數據獲取到深度學習
-
$520$442 -
$520$442 -
$480$408 -
$450$356 -
$500$390 -
$380$323 -
$403Go Web 編程 (Go Web Programming)
-
$650$507 -
$378C++ 從入門到項目實踐(超值版)
-
$590$561 -
$680$537 -
$189算法基礎與實驗
-
$774$735
相關主題
商品描述
本書從計算的變遷這一獨特視角回顧了數學、邏輯學和哲學的歷史沿革,展
現了計算為數學研究發展帶來的全新前景,展望了這場數學革命在自然科學、信
息科學與哲學領域引發的重大變革。本書榮獲年法蘭西學術院哲學大獎,一直是數學、電腦科學和哲學領域的暢銷讀物。
作者簡介
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