发表于2024-11-13
數理邏輯 pdf epub mobi txt 電子書 下載 2024
《數理邏輯》介紹數理邏輯的基本內容,如經典一階邏輯(包括命題邏輯和謂詞邏輯)的句法、語義、邏輯演算(形式證明)以及刻畫句法和語義之間關係的完全性定理,初步的模型論內容,集閤論初步知識,哥德爾第二不完全性定理以及所需的遞歸論內容,等等。這些內容為我們學習20世紀偉大的數學發現——哥德爾定理提供瞭基礎,也為進一步學習和研究數理邏輯的專門知識和問題提供瞭基礎。
評分
評分
評分
評分
數理邏輯 pdf epub mobi txt 電子書 下載 2024