目录 1
前言 1
第一章 递归程序设计 1
§1.1 简单数学问题的程序设计 1
§1.2 程序的阅读、求值与打印 5
习题 9
第二章 分支程序设计 11
§2.1 布尔量 11
§2.2 逻辑运算符 12
§2.3 条件表达式 13
§2.4 分支专用型 14
§2.5 模式匹配 21
习题 25
第三章 表程序设计 26
§3.1 表的内外部表示 26
§3.2 表的选择与构造 28
§3.3 表的识别与修改 35
§3.4 符号微分 43
习题 52
第四章 数程序设计 53
§4.1 数的表示 53
§4.2 数的运算 54
§4.3 数的比较判断 60
§4.4 复数与有理数 63
习题 67
第五章 串程序设计 68
§5.1 字符与串的构成 68
§5.2 串的查询与修改 74
§5.3 字符与串的比较 80
§5.4 中缀与前缀表示 85
习题 90
§6.1 DO型循环 92
第六章 循环程序设计 92
§6.2 MAP型循环 97
§6.3 FOR型循环 103
§6.4 步长型循环 111
§6.5 ELIZA 114
§6.6 正向推理 119
习题 129
第七章 转移程序设计 131
§7.1 继续 131
§7.2 博弈 138
习题 143
第八章 向量程序设计 144
§8.1 向量操作 144
§8.2 矩阵运算 146
§8.3 皇后问题 148
习题 152
§9.1 符号名的构成 153
第九章 符号程序设计 153
§9.2 特性值的建立 160
§9.3 各种搜索方法 163
§9.4 框架知识表示 170
§9.5 语义网知识表示 178
习题 182
第十章 环境程序设计 185
§10.1 环境框架的查询 185
§10.2 过程变量的定义 191
§10.3 动态环境的用途 207
§10.4 离散事件的仿真 216
习题 224
第十一章 无穷概念程序设计 226
§11.1 流与表的异同 226
§11.2 流的复合操作 228
§11.3 无穷概念表示 234
习题 238
第十二章 输入输出程序设计 240
§12.1 窗口菜单 240
§12.2 输入输出 254
12.2.1 输入 254
12.2.2 输出 265
§12.3 图形显示 272
§12.4 专家系统工具 278
§12.5 自然语言分析 291
§12.6 程序编译装入 303
习题 307
第十三章 宏与结构程序设计 308
§13.1 宏 308
§13.2 循环的宏实现 317
§13.3 结构 320
§13.4 结构的宏实现 324
习题 330
第十四章 面向对象程序设计 332
§14.1 面向对象程序设计的概念 332
14.1.1 对象 333
14.1.2 消息 335
14.1.3 类与继承 337
§14.2 面向对象程序设计的特征 338
14.2.1 模块化、信息隐藏与抽象 339
14.2.2 信息共享 340
14.2.3 并行性与灵活性 341
§14.3 面向对象程序设计的系统 342
14.3.1 类的定义 342
14.3.2 方法的增删 349
14.3.3 对象的生成 350
14.3.4 消息的传递 351
14.3.5 系统的应用 352
习题 359
第十五章 程序调试 361
§15.1 顶层控制 361
§15.2 出错检查 364
15.2.1 词法环境检查 364
15.2.2 过程调用检查 366
15.2.3 检查程序退出 368
§15.3 过程追踪 371
§15.4 断点设置 373
§15.5 信息劝告 379
§15.6 梵塔图解 382
§15.7 机器人规划 384
15.2.4 程序检查示例 386
§15.8 DOS交互 396
§15.9 无用单元搜集 399
习题 401
第十六章 程序编辑 402
§16.1 结构编辑 402
§16.2 实时编辑 409
16.2.1 屏幕分割 410
16.2.2 基本编辑 412
16.2.3 光标移动 412
16.2.4 插入删除 415
16.2.5 暂删恢复 416
16.2.6 文件存取 419
16.2.7 增量搜索 421
16.2.8 编辑结束 423
§16.3 机器学习 424
§16.4 进程抽象 428
习题 432
参考文献 433
索引 434