• 正在加载中...
  • 计算机自动推动与智能教学

    《计算机自动推动与智能教学》,作者:王岚,乐毓俊 编著,由北京邮电大学出版社于2005年出版,本书可作为高等院校相应课程的教材,也可供从事理逻辑和智能教学的人员和教师自学之用。

    编辑摘要

    基本信息 编辑信息模块

    名称: 计算机自动推动与智能教学 作者: 王岚,乐毓俊
    价格: ¥29.00 元 语种: 简体中文
    ISBN: 10位[7563509216] 13位[9787563509218] 出版社: 北京邮电大学出版社

    目录

    基本信息/计算机自动推动与智能教学 编辑

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

    作者:王岚,乐毓俊 编著

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

    词条图册更多图册

    添加视频 | 添加图册相关影像

    互动百科的词条(含所附图片)系由网友上传,如果涉嫌侵权,请与客服联系,我们将按照法律之相关规定及时进行处理。未经许可,禁止商业网站等复制、抓取本站内容;合理使用者,请注明来源于www.baike.com。

    登录后使用互动百科的服务,将会得到个性化的提示和帮助,还有机会和专业认证智愿者沟通。

    互动百科用户登录注册
    此词条还可添加  信息模块
    编辑摘要

    WIKI热度

    1. 编辑次数:5次 历史版本
    2. 参与编辑人数:5
    3. 最近更新时间:2017-08-22 11:51:15

    相关词条