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

出版时间：2005-01-01  出版社：北京邮电大学出版社  作者：王岚  

内容概要

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

书籍目录

第一篇  基础篇
第1章  数理逻辑的本质
1. 1  什么是数理逻辑
1. 2  公理系统
1. 3  形式系统
1. 4  语法变元
第2章  一阶理论