一、介绍系统稳定性的基本概念，判断系统稳定性的基本出发点 二、系统稳定的充分必要条件 三、代数判据（Routh、Hurwitz判据） 四、Nyquist判据的基本原理和方法，Bode判据 五、相对稳定性的概念 六、掌握相位裕量和幅值裕量的概念及计算方法

定义11:设o是Vn(F)上的线性变换,若对 入∈F,存在非零向量,使得5=5 则称是线性变换σ的一个特征值, 5是的属于特征值的特征向量

 掌握组合电路的测试生成  代数法 异或法 布尔差分法  算法D算法 PODEM算法 FAN算法 其他  时序电路的测试生成  可测性方法（不具体要求）

2.1 关系模型的数据结构及其形式化定义 2.2 关系的码与关系的完整性 2.3 关系代数 2.4 关系演算

（1）精确逻辑（传统逻辑）的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中，命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题，组合成另一个命题的过 程

定义12:设W是V的子空间,如a,B∈V,满足 a-B∈W,则称a与模W同余,记作 a=(mod) 自反性α=a(modw),vaev 对称性如α=(mod)则B=a(modW) 传递性如=(modw)=y(modw)

空间为体,矩阵为用分为研究对象---几何，线性空间(向量)，研究工具---代数，矩阵运算 ，向量(问题)- modeling→矩阵语言描述 →矩阵运算解决→向量(解答) 与微积分的关系: 非线性一微积分→线性一线性代数→

11.1 概述 11.2 纠错编码的基本原理 11.3 纠错编码的性能 11.4简单的实用编码 11.4.1 奇偶监督码 11.4.2 二维奇偶监督码（方阵码） 11.4.3 恒比码 11.4.4 正反码 11.5 线性分组码 11.6 循环码 11.6.1 循环码原理 11.6.2 循环码的编解码方法 11.6.3 截短循环码 11.6.4 BCH码 11.6.5 RS码：它是一类具有很强纠错能力的多进制BCH码。 11.7 卷积码 11.7.1 卷积码的基本原理 11.7.2 卷积码的代数表述 与11.5节公式H  AT = 0 11.7.3 卷积码的解码 参照11.5节中监督关系的定义式，容易写出 011.。由上述可见，用网格图表示编码过程和输入输出关 11.8 Turbo码 11.9 低密度奇偶校验码 11.10 网格编码调制 11.10.1网格编码调制(TCM)的基本概念 11.10.2 TCM信号的产生 11.10.3 TCM信号的解调 11.11 小结

15.3 代数系统的同态与同构 15.4 同余关系与商代数

15.1 二元运算及其性质 第二节 代数系统