逻辑代数是分析和设计数字电路的基本工具。因此首先要了解逻辑代数有什么基本特性，逻辑代数和普通代数又有什么异同之处

• 基本知识 – 人−机−物三元世界、云计算、未来网、物联网、泛在网、图灵机计算模型、网域计算模型 • 交互计算 – 经典计算与交互计算、交互的特点、交互的机器模型、能描述交互的演算 • 从归纳到余归纳 – 良基集、非良基集、余归纳、互模拟 • 从代数到余代数 – 笛卡尔积, 可区分并, 余代数, 代数和余代数的区别

2.1 概述 2.2 逻辑代数中的三种基本运算 2.3.1 基本公式 2.3.2 常用公式 2.3 逻辑代数的基本公式和常用公式 2.3.2 若干常用公式 2.4 逻辑代数的基本定理 2.4.1 代入定理 2.4.2 反演定理 2.4.3 对偶定理 2.5.1 逻辑函数 2.5 逻辑函数及其表示方法 2.5.2 逻辑函数的表示方法 2.5.3 逻辑函数的两种标准形式 2.6 逻辑函数的化简法 2.6.1公式化简法 2.6.2 卡诺图化简法 2.7具有无关项的逻辑函数及其化简 2.7.1 约束项、任意项和逻辑函数式中的 2.7.2 无关项在化简逻辑函数中

2.1 概述 2.2逻辑代数中的运算 2.3逻辑代数的公式 2.4逻辑代数的基本规则

定义10:设A,B是两个非空集合,f是A到B的 一个二元关系。若对Va∈A,都存在唯一的b∈B, 使得(a,b)∈f,则称f是从A到B的一个映射, 定义14:设A,B,C为三个集合,称从A×B 到C的一个映射为A与B到C的一个二元 代数运算,特别地,当A=B=C时, 称为A上的一个二元运算

布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

2.1 概述 2.2 逻辑代数中的三种基本运算 2.3 逻辑代数的基本公式和常用公式 2.4 逻辑代数的基本定理 2.5 逻辑函数及其表示方法 2.6 逻辑函数的化简方法 2.7 具有无关项的逻辑函数及其化简

• 逻辑代数=布尔代数=开关代数 解决逻辑问题的理论方法 ，与布尔、香农有关 • 主要内容 基本逻辑关系：与、或、非及其组合 逻辑函数的表示方法：函数式 真值表 卡诺图 逻辑图 逻辑函数的化简方法：代数法和卡诺图法

关于数的加、减、乘、除等运算的性质通常称为数的代数性质代数所研究 的问题主要涉及数的代数性质,这方面的大部分性质是有理数、实数、复数的 全体所共有的

12-4外代数 12.4.1域K上的线性空间V的到域K上的线性空间W的r重交错映射的定义 定义12.9设V是数域K上的n维线性空间,又设W也是K上的一个线性空间。 从 x…xV 到W的一个多线性映射f如果满足如下条件 f(aaaa)=0(i=1,2r-1) (即第i,i+1两个变元取V内同一个向量a1),则称f为一个r重交错映射。 12.3.2r重交错映射的三条性质