1.逻辑函数的卡诺图表示 (1) 卡诺图的构成

2.5逻辑函数的表达式

关系模型的重要部分是关系操纵,关系 代数是一种抽象的查询语言,是关系数 据操纵语言的一种传统表达方式,它是 用对关系的运算来表达查询的。利用关 系代数可以演示一个查询语言从关系数 据库系统中检索信息的潜力,可以用最 简单的形式来表达所有关系数据库查询 语言必须完成的运算的集合,这些基本 的运算对解释标准查询语言SQL如何被执 行很有帮助,同时也有利于培养关系运 算的思维能力

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 逻辑函数的系统简化法

一、信号流图及其等效变换 (一)基本概念 信号流图是一种将线性代数方程组用图形表示的方法

本章首先介绍数字信号、数字技术和数字系统等基本概念，然后介绍计算机中各种进制数的表示方法，最后介绍逻辑代数的基本概念、公式和定理，逻辑函数的代数化简法和卡诺图化简法。逻辑代数是分析及设计数字电路的基本工具，逻辑函数化简是数字电路分析及设计的基础

第二章关系数据库 2.1关系模型概述 2.2关系数据结构 2.3关系的完整性 2.4关系代数 2.5关系演算 2.6小结

数据模型 关系模型及关系数据库 关系语言：关系代数，SQL语言

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