1.2 逻辑代数中的三种基本运算 1.4 逻辑函数及其表示方法 1.3 逻辑代数的基本定律和规则 1.1 概述 1.5 逻辑函数的公式化简法 1.6 逻辑函数的卡诺图化简法

3.1关系数据模型 3.1.1 关系模式 3.1.2 关系操作 3.2关系模型的完整性规则 3.2.1 关系的三类完整性约束 3.2.2 实体完整性 3.2.3 参照完整性 3.2.4 用户自定义完整性 3.3关系代数的基本运算 3.3.1 传统的集合运算 3.3.2 专门的关系运算 3.3.3 关系代数表达式及其应用实例 *3.4关系演算 元组关系演算 域关系演算 3.5 查询优化 3.5.1 查询优化的一般策略 3.5.2 代数表达式的等价变换规则 3.5.3 优化算法

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

§1 数字电路的基础知识 §1.2 基本逻辑关系 §1.3 逻辑代数及运算规则

2.5关系代数 一概述 二、传统的集合运算 三、专门的关系运算

3.1 逻辑代数及运算规则 3.4 多输出函数的化简 3.2 逻辑函数的表示法及化简举例 3.3 卡诺图

2.1 关系模型的基本概念 2.2 关系代数 2.3 关系演算 2.4 关系代数表达式的优化 2.5 关系逻辑

线性空间是一个重要的代数结构，线性代数主要是研究有限维线性空间和线性映射的基本性质

古典代数学基本定理: 任一非常数复系数多项式在复数域中总有一根

河北师范大学重点建设课程 矢量代数与张量初步