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

中國(guó)社會(huì)科學(xué)院研究生重點(diǎn)教材:數(shù)理邏輯

中國(guó)社會(huì)科學(xué)院研究生重點(diǎn)教材:數(shù)理邏輯

定  價(jià):24 元

        

  • 作者:劉新文 ,等 著
  • 出版時(shí)間:2010/2/1
  • ISBN:9787500485438
  • 出 版 社:中國(guó)社會(huì)科學(xué)出版社
  • 中圖法分類:O141 
  • 頁碼:128
  • 紙張:膠版紙
  • 版次:1
  • 開本:16開
9
7
4
8
8
7
5
5
4
0
3
0
8
  《數(shù)理邏輯》介紹數(shù)理邏輯的基本內(nèi)容,如經(jīng)典一階邏輯(包括命題邏輯和謂詞邏輯)的句法、語義、邏輯演算(形式證明)以及刻畫句法和語義之間關(guān)系的完全性定理,初步的模型論內(nèi)容,集合論初步知識(shí),哥德爾第二不完全性定理以及所需的遞歸論內(nèi)容,等等。這些內(nèi)容為我們學(xué)習(xí)20世紀(jì)偉大的數(shù)學(xué)發(fā)現(xiàn)——哥德爾定理提供了基礎(chǔ),也為進(jìn)一步學(xué)習(xí)和研究數(shù)理邏輯的專門知識(shí)和問題提供了基礎(chǔ)。
 你還可能感興趣
 我要評(píng)論
您的姓名   驗(yàn)證碼: 圖片看不清?點(diǎn)擊重新得到驗(yàn)證碼
留言內(nèi)容