數(shù)理邏輯

定　價：￥59.00

作　者：	孫希文著
出版社：	高等教育出版社
叢編項：
標(biāo)　簽：	暫缺

購買這本書可以去

京東 (￥59.00)

ISBN：	9787040513523	出版時間：	1900-01-01	包裝：	平裝
開本：	16	頁數(shù)：	512	字?jǐn)?shù)：

內(nèi)容簡介

　　本書包含一階數(shù)理邏輯的基本核心內(nèi)容，具體包括一階理論簡介、一階理論的若干定理、一階理論的特殊問題、形式系統(tǒng)的一般理論、模型論、遞歸函數(shù)和圖靈機、哥德爾不完全性定理、遞歸論等。可分別作為計算機科學(xué)和數(shù)學(xué)專業(yè)的本科生和研究生教材。也可供相關(guān)科技工作者參考。