TOP
0
0
魅麗。花火原創小說66折起
計算進化史:改變數學的命運(簡體書)
滿額折

計算進化史:改變數學的命運(簡體書)

人民幣定價:39 元
定  價:NT$ 234 元
優惠價:87204
領券後再享89折
庫存:1
可得紅利積點:6 點
相關商品
商品簡介
作者簡介
目次

商品簡介

本書從計算的變遷這一獨特視角回顧了數學、邏輯學和哲學的歷史沿革,展
現了計算為數學研究發展帶來的全新前景,展望了這場數學革命在自然科學、信
息科學與哲學領域引發的重大變革。本書榮獲年法蘭西學術院哲學大獎,一直是數學、計算機科學和哲學領域的暢銷讀物。

作者簡介

法國數學家、邏輯學家和電腦科學家,法國guojia電腦與自動化研究所機器證明處理系統、編程語言、航空系統安全專家,美國guojia航空研究院顧問。多維克撰寫過多部數學和電腦科學科普作品,曾榮獲法國數學學會達朗貝爾獎和法蘭西學術院哲學大獎。

目次

DIYI篇 古老的起源

第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

您曾經瀏覽過的商品

購物須知

大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。

特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。

無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。

為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。

若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。

優惠價:87 204
庫存:1

暢銷榜

客服中心

收藏

會員專區