 关系模型 ◦ 关系数据结构 ◦ 关系操作 ◦ 关系的完整性约束  关系代数 ◦ 集合计算 ◦ 关系运算  关系演算 ◦ 元组关系演算语言ALPHA ◦ 域关系演算语言QBE

拓扑与线性空间、代数等概念一样，是一种数学结构。它与线性空间是研 究代数运算下形成的结构不同，是研究“连续体”在“连续变化”下不变的性 质，这样，极限概念就是不可缺少的

一、分治策略 二、分治法示例 二分检索 求两个非降序列合并后的中位数 统计逆序对 三、降低递归算法复杂性的途径  代数变换减少子问题个数  预处理减少递归的操作 四、分治法的时间代价分析 五、各类算法比较

1.了解正逻辑与负逻辑规定,掌握逻辑运算中的三种基本运算:与、或、非运算。 2.掌握常用的逻辑函数表示方法及它们之间相互转换。 3.掌握逻辑代数的定律和运算规律。 4.掌握逻辑函数的代数法化简和卡诺图化简法

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

第六节 逻辑函数的卡诺图化简法 逻辑函数的化简有公式法和图形法等。公式法是利用逻辑代数的公式、定理和规则来对逻辑函数化简，这种方法适用于各种复杂的逻辑函数，但需要熟练地运用公式和定理，且具有一定的运算技巧。图形法就是利用函数的卡诺图来对逻辑函数化简，这种方法简单直观，容易掌握，但变量太多时卡诺图太复杂，图形法已不适用。在对逻辑函数化简时，充分利用随意项可以得到十分简单的结果

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

1.2.1 三种基本的逻辑关系和运算 1.2.2 常用的逻辑关系和运算 1.2.3 逻辑代数的基本运算规律 1.2.4 逻辑函数的及其表示方法 1.2.5 逻辑函数的卡诺图化简法

13.1 数字电路的基础知识 13.2 基本逻辑关系 13.3 逻辑代数及运算规则 13.4 逻辑函数的表示法 13.5 逻辑函数的化简

第二章逻辑代数基础 本章知识要点: 一、基本概念; 二、基本定理和规则; 三、逻辑函数的表示形式; 四、逻辑函数的化简