基本信息
計算機自動推動與智慧型教學
作者：王嵐，樂毓俊 編著
ISBN：10位［7563509216］ 13位［9787563509218］
出版日期：2005-1-1
定價：￥29.00 元
內容提要
本書主要介紹計算機自動推理的理論基礎數理邏輯及以此理論為基礎的入門智慧型語言Prolog語言,並在此基礎上介紹了計算機自動推理理論在教育中套用的基本原理理論中套用的基本原理、結構及其方法。它是作者多年在教學和科研中成果的總結。主要內容包括三大部分：一、基礎篇，本篇主要介紹的是數據邏輯的基本理論和本質，重點介紹一階謂詞邏輯；二、程式設計篇：本篇主要介紹的是基於一階謂語邏輯的人工智慧語言Prolog語言，運用大量實例講解了當今最新的Visual Prolog的基本原理和程式設計方法；三、套用篇，本篇主要介紹的是運用計算機自動推理的理論實現在教育中的套用，介紹了智慧型教學系統設計開發的方法。本數第一篇的理論有一定的深度，第二、三篇安排了大量的例題，使用戶在讀完該書後可獨立編寫程式。
本書可作為高等院校相應課程的教材，也可供從事理邏輯和智慧型教學的人員和教師自學之用。
目錄
第一篇 基礎篇
第1章 數理邏輯的本質
第2章 一階理論
第3章 一階理論的定理
第二篇 程式設計篇
第4章 Prolog語言概述及Visual Prolog的使用環境
第5章 Prolog的基本原理
第6章 Visual Prolog程式設計
第7章 統一和回溯
第8章 單一和複合對象
第9章 循環和遞歸
第10章 表和遞歸
第11章 算術和比較
第12章 類和對象
第13章 高級技術
第14章 檔案操作謂詞
第15章 系統高級編程
第16章 Prolog程式實例
第17章 語言的基礎
第三篇 套用篇
第18章 專家系統
第19章 知識表示
第20章 教育專家系統
詞條圖冊更多圖冊
