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

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

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

C54x的指令系统包含助记符指令和代数指令两 种形式。 助记符指令:是一种采用助记符号表示的类似于 汇编语言的指令; 代数指令:是一种比汇编语言更高级,类似于高 级语言的代数形式指令,具有接近汇编语言的特点。 两种指令具有相同的功能。本章着重介绍助记符 指令的分类及基本功能。其内容有:

一：逻辑代数的基本定律 二：逻辑代数的三个重要规则 三：异或和同或运算公式 四：逻辑函数表达式的常用形式 五：逻辑函数表达式的相互转换

2.1 逻辑代数 2.1.1 基本逻辑 2.1.2 基本逻辑运算 2.1.3 真值表与逻辑函数 2.1.4 逻辑代数的基本定律 2.1.5 三个规则 2.1.6 常用公式 2.1.7 逻辑函数的标准形式 2.2 逻辑函数的简化 2.2.1 简化的意义和目标 2.2.2 公式化简法（代数法） 2.2.3 图解法（卡诺图法） 2.2.4 逻辑函数的系统简化法

2.1 逻辑代数 2.1.1 基本逻辑 2.1.2 基本逻辑运算 2.1.3 真值表与逻辑函数 2.1.4 逻辑代数的基本定律 2.1.5 三个规则 2.1.6 常用公式 2.1.7 逻辑函数的标准形式 2.2 逻辑函数的简化 2.2.1 简化的意义和目标 2.2.2 公式化简法（代数法） 2.2.3 图解法（卡诺图法） 2.2.4 逻辑函数的系统简化法

第一节 概述 第二节 逻辑代数中的常用运算 第三节 逻辑代数的基本公式和基本运算定律

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

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