5.1 作用域与可见性 5.2 生存期 5.3 局部变量和全局变量 5.4 静态成员 5.5 友元 5.6 常类型 5.7 多文件结构 5.8 编译预处理

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

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

3.1 数组的基本概念 3.2 一维数组 3.3 多维数组 3.4 数组作为函数的参数 3.5 数组与字符串 3.6 数组应用举例 3.7 构造数据类型

1. SLR方法 当某个项目集形如 I={X→•b, A→•, B→•}时, 出现了移进-归 约冲突和归约-归约冲突, 可用如下方法解决, 该 方法称为SLR方法

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

1程序单元程序执行过程中的独立调用单 元。如子程序分程序过程等。 2单元表示 编译时,一个单元的源程序

1. 用户定义类型与内部类型的异同 ①都建立某种基本表示的抽象如:integer是位串的抽象;reg_polygon是记录的抽象 ②每一类型都关联一组操作 ③内部类型隐蔽了基本表示，不能对它的成分进行操作;用户定义类型具有更高级别的抽象，可以对其基本表示的成分进行操作

1. 类型检查 对数据对象的类型和使用的操作是否匹配的一致性检查称为类型检查. 2. 静态检查和动态检查 ①静态检查使程序更正确更有效 ②动态检查使编程方便,但影响了可读性,且降低了执行效率

MATLAB是一套功能强大的工程计算及数据处理软件,广泛应 用于工业,电子,医疗和建筑等众多领域。它是一种面向对象的 交互式程序设计语言,其结构完整又优良的可移植性。它在矩阵运 算,数字信号处理方面有强大的功能。另外, MATLAB提供了方便 的绘图功能,便于用户直观地输出处理结果。 本课程实验要求学生运用 MATLAB编程完成一些数字信号处理 的基本功能,加深对教学内容的理解