《數理邏輯引論與歸結原理》在第1版的基礎上進行修訂再版,內容可分為4部分。第1部分講述瞭與邏輯演算有密切關係的Boole代數理論,並以此為工具證明邏輯演算理論中的兩個完備性定理。第2部分深入淺齣地係統講述命題演算與一階謂詞演算理論。第3部分清楚而嚴謹地講述歸結原理理論,給齣瞭各個難點內容的完整證明。第4部分講述多值邏輯演算理論,包括Lukasiewicz連續值邏輯及相關的MV代數理論以及由作者建立的&*邏輯係統和相關的R0代數理論。《數理邏輯引論與歸結原理》可供計算機專業、應用數學專業、人工智能專業的研究生與高年級本科生及教師閱讀。
評分
評分
評分
評分
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有