出版社：人民郵電出版社 ISBN：9787115447579 商品編碼：11591966569 品牌：文軒 出版時間：2017-02-01 代碼：39 作者：吉爾·多維克（GillesDowek）著勞佳
" 作 者:(法)吉爾·多維克(Gilles Dowek) 著；勞佳 譯  定 價:39 出 版 社:人民郵電出版社 出版日期:2017年02月01日 頁 數:216 裝 幀:平裝 ISBN:9787115447579  ●第一篇古老的起源
●第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
●部分目錄  由法國吉爾·多維所著、勞佳翻譯的《計算進化史（改變數學的命運）》一書從計算的變遷這一獨特視角回顧了數學、邏輯學和哲學的歷史沿革，展現了計算為數學研究發展帶來的全新前景，展望了這場數學革命在自然科學、信息科學與哲學領域引發的重大變革。  (法)吉爾·多維克(Gilles Dowek) 著；勞佳 譯 吉爾·多維，法國數學家、邏輯學家和計算機科學家，法國國家計算機與自動化研究所機器證明處理繫統、編程語言、航空繫統安全專家，美國國家航空研究院顧問。多維撰寫過多部數學和計算機科學科普作品，曾榮獲法國數學學會達朗貝爾獎和法蘭西學術院哲學大獎。
勞佳，碩士畢業於上海交通大學，現在SAP美國任不錯軟件支持顧問。業餘愛好語言、數學、設計，近年翻譯出版了《咨詢的奧秘》《很好程序員密碼》《周末讀完英國史》等翻譯著作。
" | 
