《計算機自動推動與智慧型教學》是2005年1月由北京郵電大學出版社出版的圖書，作者是王嵐，樂毓俊。
基本介紹
- 書名：計算機自動推動與智慧型教學
- 作者：王嵐，樂毓俊
- ISBN：10位[7563509216] 13位[9787563509218]
- 定價：￥29.00 元
- 出版社：北京郵電大學出版社
- 出版時間：2005-1-1
目錄
第一篇 基礎篇
第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章 教育專家系統
