目录 |
最后更新 |
附注 |
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 | |