请输入您要查询的百科知识:

 

词条 计算机自动推动与智能教学
释义

基本信息

作者:王岚,乐毓俊 编著

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章 教育专家系统

随便看

 

百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2024/12/23 23:40:47