介绍计算,递归和迭代过程的功能和命令式模型的基础,以及使用高阶函数进行编程的基础。 使用标准ML和Java作为编程语言。