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

基于代数分解的快速算法 1、利用FFT的快速算法 余弦变换核实际上就是傅里叶变换核的实部。而变换计算中的乘法运算就是八x)与变换核 的乘法运算。一种自然的想法就是先对八x)执行FFI,然后对其取实部就可以了

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

基本要求 1、掌握插值多项式存在唯一性条件; 2、熟练掌握 Lagrange插值多项式及其余项表达式, 3、能熟练使用均差表和差分表构造 Newton插值公式

§0.1 矢量代数（vector analysis） §0.2 微分（differential calculus） §0.3 积分（integral calculus） §0.4 曲线坐标系（curvilinear coordinates） §0.5 Delta 函数（The Dirac Delta function） §0.6 矢量场论（Theory of vector fields）

第一章数字电路基础 1.1数字电路的基础知识 1.2基本逻辑关系 1.3逻辑代数及运算规则 1.4逻辑函数的表示法 1.5逻辑函数的化简

6-2相量法的基本知识 一、复数 (1)代数形式A=a+jba—实部b—虚部 a=R[A]=R[a+jb]R取实部 b=m=mla+jm取虚部 一个复数可以表示在复平面上

 Boolean Operations and Expressions  Law and Rules of Boolean Algebra  DeMorgan’s Theorems  Boolean Analysis of Logic Circuits  Simplification Using Boolean Algebra  Standard Forms of Boolean Expressions  Boolean Expressions and Truth Tables  The Karnaugh Map  Karnaugh Map SOP Minimization

11.1 数字电路的基础知识 11.2 基本逻辑关系 11.3 逻辑代数及运算规则 11.4 逻辑函数的表示法 11.5 逻辑函数的化简

1､约束项､任意项和无关项 （1）约束项 例如：有三个逻辑变量A､B､C，它们分别表示一台电动机正转､反转和停止的命令