Introduction to Mathematical Logic and Resolution Principle(數理邏輯引論與歸結原理)在第一版的基礎上進行修訂再版,全書共9章,內容可分為Boole代數理論,命題演算與謂詞演算理論,歸結原理理論,多值邏輯的最新理論等4部分。同時,在第一版的基礎上對“計量邏輯學”,關於一階係統K完備性的證明等諸多內容做瞭補充或改寫。《Introduction to Mathematical…(數理邏輯引論與歸結原理)》可供計算機專業、應用數學專業、人工智能專業的研究生與高年級本科生及教師閱讀。
發表於2024-11-19
數理邏輯引論與歸結原理 2024 pdf epub mobi 電子書 下載
圖書標籤:
數理邏輯引論與歸結原理 2024 pdf epub mobi 電子書 下載