《數理邏輯引論與歸結原理》在第1版的基礎上進行修訂再版,內容可分為4部分。第1部分講述瞭與邏輯演算有密切關係的Boole代數理論,並以此為工具證明邏輯演算理論中的兩個完備性定理。第2部分深入淺齣地係統講述命題演算與一階謂詞演算理論。第3部分清楚而嚴謹地講述歸結原理理論,給齣瞭各個難點內容的完整證明。第4部分講述多值邏輯演算理論,包括Lukasiewicz連續值邏輯及相關的MV代數理論以及由作者建立的&*邏輯係統和相關的R0代數理論。《數理邏輯引論與歸結原理》可供計算機專業、應用數學專業、人工智能專業的研究生與高年級本科生及教師閱讀。
發表於2024-11-19
數理邏輯引論與歸結原理 2024 pdf epub mobi 電子書 下載
圖書標籤: 數學
數理邏輯引論與歸結原理 2024 pdf epub mobi 電子書 下載