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

1.1逻辑代数的基本运算 1.2逻辑代数的定律和运算规则 1.3逻辑函数的代数化简法 1.4逻辑函数的卡诺图化简法

支持关系模型的数据库系统是关系系统。 由于支持关系模型的程度不同,实际的数据库系统可以分 为表式系统、(最小)关系系统、关系完备的和全关系的四 类系统。 ·查询处理是数据库管理系统的核心而查询优化技术又是 查询处理的关键技术。查询优化一般可分为代数优化和物理 优化。代数优化是指关系代数表达式的优化,物理优化则是 指存取路样和低层操作算法指示变量的选择

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

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

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

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

6.1 数字电路概述 6.2 分立元件门电路 6.3 集成门电路 6.4 逻辑代数

2.1 逻辑代数基本公式 2.2 逻辑函数的化简 2.3 逻辑电路图、真值表与逻辑函数的关系

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