计算机自动推理与智能教学

第一篇 基础篇 第1章 数理逻辑的本质 第2章 一阶理论 第3章 一阶理论的定理第二篇 程序设计篇 第4章 Prolog语言概述及Visual Prolog的使用环境 第5章 Prolog的基本原理 第6章 Visual Prolog程序设计 第7章 统一和回溯 第8章 单一和复合对象 第9章 循环和递归 第10章 表和递归 第11章 算术和比较 第12章 类和对象 第13章 高级技术

第一篇 基础篇 第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章 教育专家系统

本书主要介绍计算机自动推理的理论基础数理逻辑及以此理论为基础的入门智能语言Prolog语言,并在此基础上介绍了计算机自动推理理论在教育中应用的基本原理理论中应用的基本原理、结构及其方法。它是作者多年在教学和科研中成果的总结。主要内容包括三大部分：一、基础篇，本篇主要介绍的是数据逻辑的基本理论和本质，重点介绍一阶谓词逻辑；二、程序设计篇：本篇主要介绍的是基于一阶谓语逻辑的人工智能语言Prolog语言，运用大量实例讲解了当今最新的Visual Prolog的基本原理和程序设计方法；三、应用篇，本篇主要介绍的是运用计算机自动推理的理论实现在教育中的应用，介绍了智能教学系统设计开发的方法。本数第一篇的理论有一定的深度，第二、三篇安排了大量的例题，使用户在读完该书后可独立编写程序。 本书可作为高等院校相应课程的教材，也可供从事理逻辑和智能教学的人员和教师自学之用。