《計算進化史》是2017年人民郵電出版社出版發行的圖書，作者是[法] 吉爾·多維克。
基本介紹
- 中文名：計算進化史
- 作者：[法] 吉爾·多維克
- 原作品：Les métamorphoses du calcul
- 譯者：勞佳
- ISBN：9787115447579
- 頁數：228
- 定價：39
- 出版社：人民郵電出版社
- 出版時間：2017-2
- 裝幀：平裝
- 叢書名：圖靈新知
內容簡介,作者簡介,圖書目錄,
內容簡介
作者簡介
吉爾·多維克（Gilles Dowek），法國數學家、邏輯學家和計算機科學家，法國國家計算機與自動化研究所機器證明處理系統、程式語言、航空系統安全專家，美國國家航空研究院顧問。多維克撰寫過多部數學和計算機科學科普作品，曾榮獲法國數學學會達朗貝爾獎和法蘭西學術院哲學大獎。
圖書目錄
著作權聲明
譯者序
致辭
前言
第一篇 古老的起源
第 1 章 從史前數學到希臘數學
第 2 章 計算兩千年
第二篇 古典時代
第 3 章 謂詞邏輯
第 4 章 判定性問題與丘奇定理
第 5 章 丘奇論題
第 6 章 為計算樹立數學地位的嘗試——λ 演算
第 7 章 構造性
第 8 章 構造性證明與算法
第三篇 公理化危機
第 9 章 直覺主義類型論
第 10 章 自動化證明
第 11 章 證明檢驗
第 12 章 學界新進展
第 13 章 工具
第 14 章 公理的終結？
結語 旅程的尾聲
附錄一 人物簡介
附錄二 參考文獻
