本書介紹數理邏輯的基礎部分。緒論除介紹邏輯初步概念外還講述瞭有關集閤論和遞歸論的初步知識。正文前四章的內容屬一階邏輯，其中前兩章是以非形式化的方式介紹命題邏輯和謂詞邏輯，後兩章分彆給齣瞭一個經典命題邏輯演算係統P和一個經典謂詞邏輯演算係統Q，討論瞭它們的元性質，最後還給齣瞭一個與Q等價的形式係統QS。最後一章介紹瞭有關一階理論的知識，主要是模型論的基礎內容及不可判定問題。各章節後一般都附有適量的習題。本書適閤作為高等院校文科、理工科所開設的與現代邏輯相關課程的教材或參考書。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
天！
评分佛榮哥 我對不起你
评分天！
评分教參。按需。
评分教材
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有