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

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

◼ 3.1 关系数据结构 ◼ 3.2 关系数据库的完整性 ◼ 3.3 关系数据库操作概述 ◼ 3.4 关系代数语言 ◼ 3.5 关系数据库管理系统（RDBMS） ◼ 3.6 小结 ◼ 3.7 习题

1.1 矢量代数 1.2 常用正交曲线坐标系 1.3 标量场的梯度 1.4 矢量场的通量与散度 1.5 矢量场的环流和旋度 1.6 无旋场与无散场 1.7 拉普拉斯运算与格林定理 1.8 亥姆霍兹定理

目录 第20章门电路和组合逻辑电路 第20.2节基本门电路及其组合 第20.2.3题 第20.3节TTL门电路 第20.3.2题 第20.5节逻辑代数 第20.5.5题 第20.5.6题

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

§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）

第3章分布式数据库中的查询处理和优化 1.分布式查询优化概述 2.分布式查询优化基础知识 3.分布式查询分类和层次结构 4.基于关系代数等价变换的查询优化处理 5.基于半连接算法的查询优化处理 6.基于直接连接算法的查询优化处理 7.直接连接操作的常用策略

1. 掌握内积、欧氏空间等概念; 2. 熟练运用 Schmidt 正交化方法求标准正交基; 3. 掌握子空间的正交补概念，会求某些空间的正交补； 4. 掌握正交变换的概念，会用正交变换的等价条件和正交矩阵的某些性质

 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