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

中國社會科學院研究生重點教材:數(shù)理邏輯

中國社會科學院研究生重點教材:數(shù)理邏輯

定  價:24 元

        

  • 作者:劉新文 ,等 著
  • 出版時間:2010/2/1
  • ISBN:9787500485438
  • 出 版 社:中國社會科學出版社
  • 中圖法分類: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)容,集合論初步知識,哥德爾第二不完全性定理以及所需的遞歸論內(nèi)容,等等。這些內(nèi)容為我們學習20世紀偉大的數(shù)學發(fā)現(xiàn)——哥德爾定理提供了基礎(chǔ),也為進一步學習和研究數(shù)理邏輯的專門知識和問題提供了基礎(chǔ)。
 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內(nèi)容