關(guān)于我們
書單推薦
新書推薦

數(shù)理邏輯導(dǎo)引

數(shù)理邏輯導(dǎo)引

定  價(jià):198 元

叢書名:現(xiàn)代數(shù)學(xué)基礎(chǔ)叢書

        

  • 作者:馮琦編著
  • 出版時(shí)間:2017/9/1
  • ISBN:9787030545794
  • 出 版 社:科學(xué)出版社
  • 中圖法分類:O141 
  • 頁碼:536
  • 紙張:膠版紙
  • 版次:1
  • 開本:16K
9
7
5
8
4
7
5
0
7
3
9
0
4

讀者對(duì)象:數(shù)學(xué)系和理論計(jì)算機(jī)系高年級(jí)本科生、研究生

本書是作者在新加坡國立大學(xué)、北京大學(xué)和中國科學(xué)院大學(xué)為本科高年級(jí)學(xué)生開設(shè)的數(shù)理邏輯選修課和在新加坡國立大學(xué)、中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院為研究生開設(shè)的專業(yè)課程所寫講義基礎(chǔ)上整理出來的結(jié)果。本書主要由一階邏輯的核心內(nèi)容和有關(guān)數(shù)的邏輯探索和分析兩大部分組成,其中包括完備性、緊致性、同質(zhì)縮小、型省略等基本定理;有關(guān)數(shù)的經(jīng)典理論的完全性和可定義性分析;哥德爾不完全性定理、丘奇不可判定性定理、塔爾斯基自然數(shù)標(biāo)準(zhǔn)模型真相不可定義性定理以及巴黎-哈靈頓不完全性定理。

更多科學(xué)出版社服務(wù),請(qǐng)掃碼獲取。
 你還可能感興趣
 我要評(píng)論
您的姓名   驗(yàn)證碼: 圖片看不清?點(diǎn)擊重新得到驗(yàn)證碼
留言內(nèi)容