| 目录 |
最后更新 |
附注 |
| 0，课程介绍 | 2015-11-28 | |
| 1，构造过程抽象（1） | 2015-11-28 | Scheme 基础，表达式，组合式和过程定义 |
| 1，构造过程抽象（2） | 2015-11-28 | 过程的构造，线性递归/线性迭代/树形递归，过程分解 |
| 1，构造过程抽象（3） | 2015-11-28 | 高阶过程，lambda表达式，构造过程的过程，过程抽象作为解决问题的通用方法 |
| 2，构造数据抽象（1） | 2015-11-28 | 数据抽象, 有理数实例, 序对, 表和表操作，层次性数据, 表映射和树映射, 序列作为模块间的标准接口 |
| 2，构造数据抽象（2） | 2015-11-28 | 一个图形语言, 处理符号数据，符号求导, 数据的表示和选择，数据的多重表示 |
| 2，构造数据抽象（3） | 2015-11-28 | 数据导向的程序设计（实例：复数包），消息传递，分层抽象（实例：通用算术运算系统），类型强制，符号计算（实例：多项式算术） |
| 3，模块化，对象和状态（1） | 2015-11-28 | 赋值和局部状态，基于状态改变的程序设计，赋值的价值和问题，函数式和命令式程序设计，命令式程序设计的缺陷，求值的环境模型 |
| 3，模块化，对象和状态（2） | 2015-11-28 | 变动的序对和表结构，基于状态的模拟实例：队列，表格，电子线路模拟 |
| 3，模块化，对象和状态（3） | 2015-11-28 | 基于状态的模拟实例：约束传播语言，赋值与时间，时间和并行性 |
| 3，模块化，对象和状态（4） | 2015-11-28 | 流计算，第三章总结 |
| 4，源语言抽象（1） | 2015-11-28 | 编程与语言，语言抽象，元循环求值器，eval 和 apply，表达式数据抽象，求值器数据结构 |
| 4，源语言抽象（2） | 2015-11-28 | 分析求值器，正则序求值器 |
| 4，源语言抽象（3） | 2015-11-28 | 非确定性语言 amb，amb 求值器 |
| 4，源语言抽象（4） | 2015-11-28 | 逻辑程序设计，查询语言，逻辑程序语言和数理逻辑，解释器实现 |
| 5，寄存器机器里的计算（1） | 2015-11-28 | 寄存器机器，基本机制，寄存器机器语言，寄存器机器的模拟器 |
| 总结 | 2015-11-28 | |