本書主要介紹計算機自動推理的理論基礎數理邏輯及以此理論為基礎的入門智能語言Prolog語言,並在此基礎上介紹瞭計算機自動推理理論在教育中應用的基本原理理論中應用的基本原理、結構及其方法。它是作者多年在教學和科研中成果的總結。主要內容包括三大部分：一、基礎篇，本篇主要介紹的是數據邏輯的基本理論和本質，重點介紹一階謂詞邏輯；二、程序設計篇：本篇主要介紹的是基於一階謂語邏輯的人工智能語言Prolog語言，運用大量實例講解瞭當今最新的Visual Prolog的基本原理和程序設計方法；三、應用篇，本篇主要介紹的是運用計算機自動推理的理論實現在教育中的應用，介紹瞭智能教學係統設計開發的方法。本數第一篇的理論有一定的深度，第二、三篇安排瞭大量的例題，使用戶在讀完該書後可獨立編寫程序。
本書可作為高等院校相應課程的教材，也可供從事理邏輯和智能教學的人員和教師自學之用。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有