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