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

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

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

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

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

1、双元运算 2、自反算术赋值运算符 3、自加和自减运算 4、正负号运算符 5、赋值类运算符的副作用 关系、逻辑与条件运算

一、常量 1、直接常量和符号常量 (1)、直接常量(常量或字面常量):给定不变的,可从字面识别的量

第四章利用MFC开 Windows发应用程序 本章导读 1.理解MFC的概念和作用。 2.理解 Windows应用程序的特点和运行机制。 3.掌握利用 MFC Appwizard创建 Windows应用程序的步骤和方法,弄清 MFC Appwizard所创建的应用程序中所产生的主要类及其功能、组成文件和程序的框架结构。 4.理解消息的概念,掌握编写Windows应用程序过程中所涉及到的消息的种类、特点、消息的发送和接收的基本过程和机制

1 等价语句(equivalence语句 ) 等价语句：使同一程序单元中的多个变量共用同一个 存储单元。 2 公用语句 (common语句) 公用语句：使不同程序单元的变量共用同一个存储单 元。 3 数据块子程序(自学) 数据块子程序：给公用区中的变量赋初值

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