本書主要介紹計算機自動推理的理論基礎數理邏輯及以此理論為基礎的入門智能語言Prolog語言,並在此基礎上介紹瞭計算機自動推理理論在教育中應用的基本原理理論中應用的基本原理、結構及其方法。它是作者多年在教學和科研中成果的總結。主要內容包括三大部分:一、基礎篇,本篇主要介紹的是數據邏輯的基本理論和本質,重點介紹一階謂詞邏輯;二、程序設計篇:本篇主要介紹的是基於一階謂語邏輯的人工智能語言Prolog語言,運用大量實例講解瞭當今最新的Visual Prolog的基本原理和程序設計方法;三、應用篇,本篇主要介紹的是運用計算機自動推理的理論實現在教育中的應用,介紹瞭智能教學係統設計開發的方法。本數第一篇的理論有一定的深度,第二、三篇安排瞭大量的例題,使用戶在讀完該書後可獨立編寫程序。
本書可作為高等院校相應課程的教材,也可供從事理邏輯和智能教學的人員和教師自學之用。
發表於2024-12-29
計算機自動推理與智能教學 2024 pdf epub mobi 電子書 下載
圖書標籤:
計算機自動推理與智能教學 2024 pdf epub mobi 電子書 下載