广东海洋大学：《VHDL程序设计语言》课程教学资源（实验指导）实验四 Counters

广东海洋大学：《VHDL程序设计语言》课程教学资源（实验指导）实验二 Numbers and Displays

5.1 过程式语言存在的问题 5.2 λ演算 5.3 函数式语言怎样克服命令 5.4 函数式语言Miranda 5.5 问题与讨论

 计算机程序设计语言的发展  面向对象的方法  面向对象的软件开发  信息的表示与存储  程序的开发过程

• 带记录和子定型的简单类型化λ演算 • 等式理论和语义模型 • 递归类型的子定型和递归记录作为对象的模型

– 多态类型系统的语法，包括直谓式的，非直谓式的和type: type版本 – 直谓式多态λ演算，包括和其它两个系统之间的联系，它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类

• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统

• 递归函数和不动点算子，以及PCF语言的编程实例 • 基于完全偏序集合的，带不动点算子的类型化λ演算的论域理论模型 • 不动点归纳法，这是一种对递归定义进行推理的证明方法

– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第6章 递归类型