掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數(shù)學(xué)專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠(yuǎn)古海洋微生物建造的大堡礁
-
>
聲音簡(jiǎn)史
中圖價(jià):¥25.2
加入購(gòu)物車
計(jì)算進(jìn)化史-改變數(shù)學(xué)的命運(yùn) 版權(quán)信息
- ISBN：9787115447579
- 條形碼：9787115447579 ; 978-7-115-44757-9
- 裝幀：暫無
- 冊(cè)數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
計(jì)算進(jìn)化史-改變數(shù)學(xué)的命運(yùn) 本書特色
本書從計(jì)算的變遷這一獨(dú)特視角回顧了數(shù)學(xué)、邏輯學(xué)和哲學(xué)的歷史沿革，展 現(xiàn)了計(jì)算為數(shù)學(xué)研究發(fā)展帶來的全新前景，展望了這場(chǎng)數(shù)學(xué)革命在自然科學(xué)、信 息科學(xué)與哲學(xué)領(lǐng)域引發(fā)的重大變革。本書榮獲年法蘭西學(xué)術(shù)院哲學(xué)大獎(jiǎng)，一直是數(shù)學(xué)、計(jì)算機(jī)科學(xué)和哲學(xué)領(lǐng)域的暢銷讀物。
計(jì)算進(jìn)化史-改變數(shù)學(xué)的命運(yùn) 內(nèi)容簡(jiǎn)介
一本榮獲法蘭西學(xué)術(shù)院哲學(xué)大獎(jiǎng)的數(shù)學(xué)書一本數(shù)學(xué)愛好者都應(yīng)該讀一讀的哲學(xué)書講述一段別開生面的數(shù)學(xué)歷程引發(fā)一場(chǎng)改變科學(xué)面貌的哲學(xué)思考展現(xiàn)算法時(shí)代，計(jì)算為自然科學(xué)與哲學(xué)研究帶來的震撼之力
計(jì)算進(jìn)化史-改變數(shù)學(xué)的命運(yùn) 目錄
**篇 古老的起源
第1章 從史前數(shù)學(xué)到希臘數(shù)學(xué) 2
第2章 計(jì)算兩千年 17
第二篇 古典時(shí)代
第3章 謂詞邏輯 36
第4章 判定性問題與丘奇定理 56
第5章 丘奇論題 73
第6章 為計(jì)算樹立數(shù)學(xué)地位的嘗試——λ演算 94
第7章 構(gòu)造性 100
第8章 構(gòu)造性證明與算法 113
第三篇 公理化危機(jī)
第9章 直覺主義類型論 122
第10章 自動(dòng)化證明 132
第11章 證明檢驗(yàn) 145
第12章 學(xué)界新進(jìn)展 153
第13章 工 具 172
第14章 公理的終結(jié)？ 187
結(jié)語 旅程的尾聲 190
附錄一 人物簡(jiǎn)介 193
附錄二 參考文獻(xiàn) 208
索 引 212
第1章 從史前數(shù)學(xué)到希臘數(shù)學(xué) 2
第2章 計(jì)算兩千年 17
第二篇 古典時(shí)代
第3章 謂詞邏輯 36
第4章 判定性問題與丘奇定理 56
第5章 丘奇論題 73
第6章 為計(jì)算樹立數(shù)學(xué)地位的嘗試——λ演算 94
第7章 構(gòu)造性 100
第8章 構(gòu)造性證明與算法 113
第三篇 公理化危機(jī)
第9章 直覺主義類型論 122
第10章 自動(dòng)化證明 132
第11章 證明檢驗(yàn) 145
第12章 學(xué)界新進(jìn)展 153
第13章 工 具 172
第14章 公理的終結(jié)？ 187
結(jié)語 旅程的尾聲 190
附錄一 人物簡(jiǎn)介 193
附錄二 參考文獻(xiàn) 208
索 引 212
展開全部
計(jì)算進(jìn)化史-改變數(shù)學(xué)的命運(yùn) 作者簡(jiǎn)介
吉爾•多維克（Gilles Dowek） 法國(guó)數(shù)學(xué)家、邏輯學(xué)家和計(jì)算機(jī)科學(xué)家，法國(guó)國(guó)家計(jì)算機(jī)與自動(dòng)化研究所機(jī)器證明處理系統(tǒng)、編程語言、航空系統(tǒng)安全專家，美國(guó)國(guó)家航空研究院顧問。多維克撰寫過多部數(shù)學(xué)和計(jì)算機(jī)科學(xué)科普作品，曾榮獲法國(guó)數(shù)學(xué)學(xué)會(huì)達(dá)朗貝爾獎(jiǎng)和法蘭西學(xué)術(shù)院哲學(xué)大獎(jiǎng)。
書友推薦
- >
我與地壇
- >
大紅狗在馬戲團(tuán)-大紅狗克里弗-助人
- >
回憶愛瑪儂
- >
唐代進(jìn)士錄
- >
經(jīng)典常談
- >
名家?guī)阕x魯迅:故事新編
- >
我從未如此眷戀人間
- >
羅庸西南聯(lián)大授課錄
本類暢銷
