- 作 者：李文峰等编译
- 出 版 社：北京：人民邮电出版社
- 出版年份：1991
- ISBN：7115045143
- 标注页数：274 页
- PDF页数：287 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源287 ≥274页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 绪论 1
1.1 课堂教学使用计算机方法的选择 1
1.2 计算机辅助教学及现状 3
1.3 人工智能 5
第二章 逻辑程序设计语言PROLOG 9
2.1 为什么要用逻辑进行程序设计 9
2.2 PROLOG导论及应用范围 11
2.3 Micro-PROLOG语言在课堂教学中的作用和意义 15
2.4 研究PROLOG的方法 16
第三章 教材 17
3.1 简单语句与询问 17
3.2 规则 58
3.3 表 92
3.4 递归 120
3.5 否定与非二元的关系 146
3.6 表的使用 154
第四章 《逻辑：学生们的一种计算机语言》 154
4.1 课题说明 165
4.2 第一个实验班的实施情况 166
4.3 教学试验：首届两个试点班的比较 171
4.4 困难之处 172
4.5 逻辑教学与PROLOG语言的教学 174
4.6 与LOGO的特点比较 174
第五章 贯穿各课程的逻辑 176
5.1 用以表达知识的逻辑 176
5.2 信息技术 177
5.3 数学 181
5.4 历史模拟 185
5.5 信息检索 191
5.6 法语 196
5.7 自然科学 197
第六章 PROLOG再论 200
6.1 逻辑思维与课程的变化 200
6.2 交互式PROLOG 201
6.3 专家系统 203
6.4 效率与规则性 205
6.5 大数据库 208
6.6 第五代计算机 209
附录1 SimplePROLOG：指令的用法 212
附录2 习题答案 218
译后记 269