內容介紹
本書主要介紹計算機自動推理的理論基礎數理邏輯及以此理論為基礎的入門智慧型語言Prolog語言,並在此基礎上介紹了計算機自動推理理論在教育中套用的基本原理理論中套用的基本原理、結構及其方法。它是作者多年在教學和科研中成果的總結。主要內容包括三大部分：一、基礎篇，本篇主要介紹的是數據邏輯的基本理論和本質，重點介紹一階謂詞邏輯；二、程式設計篇：本篇主要介紹的是基於一階謂語邏輯的人工智慧語言Prolog語言，運用大量實例講解了當今最新的Visual Prolog的基本原理和程式設計方法；三、套用篇，本篇主要介紹的是運用計算機自動推理的理論實現在教育中的套用，介紹了智慧型教學系統設計開發的方法。本數第一篇的理論有一定的深度，第二、三篇安排了大量的例題，使用戶在讀完該書後可獨立編寫程式。本書可作為高等院校相應課程的教材，也可供從事理邏輯和智慧型教學的人員和教師自學之用。
作品目錄
第一篇基礎篇第1章數理邏輯的本質
1. 1什麼是數理邏輯
1. 2公理系統
1. 3形式系統
1. 4語法變元
第2章一階理論
