Introduction to Mathematical Logic and Resolution Principle(數理邏輯引論與歸結原理)在第一版的基礎上進行修訂再版，全書共9章，內容可分為Boole代數理論，命題演算與謂詞演算理論，歸結原理理論，多值邏輯的最新理論等4部分。同時，在第一版的基礎上對“計量邏輯學”，關於一階係統K完備性的證明等諸多內容做瞭補充或改寫。《Introduction to Mathematical…(數理邏輯引論與歸結原理)》可供計算機專業、應用數學專業、人工智能專業的研究生與高年級本科生及教師閱讀。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有