定理機器證明(1987年科學出版社出版的圖書)

《定理機器證明》是1987年科學出版社出版的圖書，作者是劉敘華，姜雲飛。

基本介紹

• 中文名：定理機器證明
• 作者：劉敘華，姜雲飛
• 出版時間：1987年10月
• 出版社：科學出版社

內容簡介

定理機器證明是人工智慧研究中一個非常活躍而又極其重要的領域，它的發展對專家系統、信息智慧型檢索、智慧型機器人等人工智慧其它領域都有深遠的影響，本書主要介紹這一領域的理論基礎及重要研究成果．書中首先介紹了命題邏輯與一階邏輯，然後介紹了定理機器證明的歸結方法及各種改進的方法、模糊邏輯和模糊歸結，最後介紹了國際上最近提出的幾種非歸結方法——自然推導法、重寫規則法及數學歸納法．書中還包括了作者在此領域的很多研究成果．本書可作為大學計算機科學系高年級學生、研究生的教材或參考書，也可供有關專業人員參考．

圖書目錄

• 第一章 符號邏輯
• 第二章 Herbrand定理
• 第三章 歸結原理
• 第四章 鎖歸結和線性歸結
• 第五章 語義歸結和鎖語義歸結
• 第六章 廣義歸結原理
• 第七章 模糊邏輯和模糊歸結原理
• 第八章 自然推導
• 第九章 重寫規則法
• 第十章 機器證明的數學歸納法
• 參考文獻