本書介紹數理邏輯及其在機器證明中的應用.
數理邏輯部分包括緒論、前三章及附錄. 緒論簡要地說明瞭數理邏輯的研究對象和方法. 前三章分彆介紹命題邏輯、一階邏輯以及它們的可靠性和完備性問題. 附錄中闡述瞭重演式的推理，並且論證瞭它與自然推理的關係. 第四至第六章是機器證明部分，主要描述與數理邏輯有關的機器證明問題.
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有