數(shù)理邏輯導(dǎo)引
-
>
宇宙、量子和人類心靈
-
>
考研數(shù)學(xué)專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠(yuǎn)古海洋微生物建造的大堡礁
-
>
二十四史天文志校注(上中下)
-
>
聲音簡(jiǎn)史
-
>
浪漫地理學(xué):追尋崇高景觀
數(shù)理邏輯導(dǎo)引 版權(quán)信息
- ISBN:9787030545794
- 條形碼:9787030545794 ; 978-7-03-054579-4
- 裝幀:一般膠版紙
- 冊(cè)數(shù):暫無(wú)
- 重量:暫無(wú)
- 所屬分類:>>
數(shù)理邏輯導(dǎo)引 本書特色
本書是作者在新加坡國(guó)立大學(xué)、北京大學(xué)和中國(guó)科學(xué)院大學(xué)為本科高年級(jí)學(xué)生開(kāi)設(shè)的數(shù)理邏輯選修課和在新加坡國(guó)立大學(xué)、中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院為研究生開(kāi)設(shè)的專業(yè)課程所寫講義基礎(chǔ)上整理出來(lái)的結(jié)果。本書主要由一階邏輯的核心內(nèi)容和有關(guān)數(shù)的邏輯探索和分析兩大部分組成,其中包括完備性、緊致性、同質(zhì)縮小、型省略等基本定理;有關(guān)數(shù)的經(jīng)典理論的完全性和可定義性分析;哥德?tīng)柌煌耆远ɡ、丘奇不可判定性定理、塔爾斯基自然?shù)標(biāo)準(zhǔn)模型真相不可定義性定理以及巴黎-哈靈頓不完全性定理。
數(shù)理邏輯導(dǎo)引 內(nèi)容簡(jiǎn)介
《數(shù)理邏輯導(dǎo)引/現(xiàn)代數(shù)學(xué)基礎(chǔ)叢書》是作者馮琦在新加坡國(guó)立大學(xué)、北京大學(xué)和中國(guó)科學(xué)院大學(xué)為本科高年級(jí)學(xué)生開(kāi)設(shè)的數(shù)理邏輯選修課和在新加坡國(guó)立大學(xué)、中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院為研究生開(kāi)設(shè)的專業(yè)課程所寫講義基礎(chǔ)上整理出來(lái)的結(jié)果。本書主要由一階邏輯的核心內(nèi)容和有關(guān)數(shù)的邏輯探索和分析兩大部分組成,其中包括完備性、緊致性、同質(zhì)縮小、型省略等基本定理;有關(guān)數(shù)的經(jīng)典理論的完全性和可定義性分析;哥德?tīng)柌煌耆远ɡ、丘奇不可判定性定理、塔爾斯基自然?shù)標(biāo)準(zhǔn)模型真相不可定義性定理以及巴黎-哈靈頓不完全性定理。本書可供數(shù)學(xué)系和理論計(jì)算機(jī)科學(xué)系高年級(jí)本科生、研究生或?qū)?shù)理邏輯有興趣的讀者使用,也可以作為參考材料供相關(guān)課程的教師使用。
數(shù)理邏輯導(dǎo)引 目錄
- >
唐代進(jìn)士錄
- >
羅庸西南聯(lián)大授課錄
- >
月亮虎
- >
羅曼·羅蘭讀書隨筆-精裝
- >
山海經(jīng)
- >
中國(guó)人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
龍榆生:詞曲概論/大家小書
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語(yǔ))