东北大学离散数学复习总结

合集下载

离散数学总结

离散数学总结

离散数学总结离散数学学习总结一、课程内容介绍:1.集合论部分:集合论是离散数学中第一个抽象难关,在老师的生动讲解下,深入浅出,使得集合论成了相当有趣的知识。

只是对于以后的应用还不是很了解,感觉学好它很重要。

直观地说,把一些事物汇集到一起组成一个整体就叫集合,而这些事物就是这个集合的元素或成员。

例如:方程x2-1=0的实数解集合;26个英文字母的集合;坐标平面上所有点的集合;集合通常用大写的英文字母来标记,例如自然数集合N(在离散数学中认为0也是自然数),整数集合Z,有理数集合Q,实数集合R,复数集合C等。

表示一个集合的方法有两种:列元素法和谓词表示法,如果两个集合的交集为,则称这两个集合是不相交的。

例如B和C 是不相交的。

两个集合的并和交运算可以推广成n个集合的并和交:A1∪A2∪…∪An={x|x∈A1∨x∈A2∨…∨x∈An}A1∩A2∩…∩An={x|x∈A1∧x∈A2∧…∧x∈An}2.关系二元关系也可简称为关系。

对于二元关系R,如果∈R,可记作xRy;如果R,则记作x y。

例如R1={<1,2>,},R2={<1,2>,a,b}。

则R1是二元关系,R2不是二元关系,只是一个集合,除非将a和b定义为有序对。

根据上面的记法可以写1R12,aR1b,aR1c等。

给出一个关系的方法有三种:集合表达式,关系矩阵和关系图。

设R是A上的关系,我们希望R具有某些有用的性质,比如说自反性。

如果R不具有自反性,我们通过在R中添加一部分有序对来改得到新的关系R',使得R'具有自反性。

但又不希望R'与R相差太多,换句话说,添加的有序对要尽可能的少。

满足这些要求的R'就称为R的自反闭包。

通过添加有序对来构造的闭包除自反闭保外还有对称闭包和传递闭包。

3.代数系统代数结构也叫做抽象代数,主要研究抽象的代数系统。

抽象的代数系统也是一种数学模型,可以用它表示实际世界中的离散结构。

大一上学期末离散数学实用技能总结

大一上学期末离散数学实用技能总结

大一上学期末离散数学实用技能总结在大一上学期末,离散数学课程学习结束了,这门课程一直是学生们敬畏的存在,但同时也是非常实用且有趣的一门学科。

在这段时间的学习中,我们不仅学到了许多离散数学的理论知识,更重要的是掌握了一些实用技能,让我们能够更好地运用离散数学知识解决实际问题。

下面我将结合自己的学习经验,总结出一些大一上学期末离散数学的实用技能。

一、命题逻辑转换在离散数学中,命题逻辑是非常重要的内容之一。

学习命题逻辑,我们掌握了真值表的构造方法,可以通过真值表来验证命题的蕴含关系、等值关系、独立性等。

除此之外,我们还学会了如何利用合取范式和析取范式将命题由自然语言转换为逻辑表达式,这在实际问题的建模和求解中非常有用。

二、图论和网络流图论和网络流是离散数学中的重要内容,也是非常实用的技能。

通过学习图论,我们可以将各种实际问题抽象为图模型,利用图的性质和算法来解决实际问题。

比如,利用最短路径算法来规划交通路线,利用网络流算法来优化网络资源分配等。

三、组合数学的应用组合数学是离散数学的一个重要分支,它在实际生活中也有着广泛的应用。

比如,排列组合的知识在概率统计、密码学、计算机算法等领域都有着重要的作用,学习了组合数学知识,我们可以更好地理解和应用这些知识来解决实际问题。

四、布尔代数在逻辑电路中的应用离散数学中的布尔代数知识,对于理解和设计逻辑电路非常重要。

学习了布尔代数,我们可以更好地理解逻辑门的工作原理,设计和优化逻辑电路,甚至可以应用到数字信号处理、计算机系统结构等领域。

总的来说,离散数学课程学习不仅让我们掌握了丰富的理论知识,更重要的是培养了我们的逻辑思维能力和问题求解能力。

通过学习离散数学,我们可以更好地理解和应用数学知识来解决实际问题,这些实用技能将在未来的学习和工作中发挥重要作用。

希望在今后的学习中能够继续努力,不断提升自己的数学素养和实际应用能力。

离散数学知识点总结

离散数学知识点总结

离散数学知识点总结离散数学是一门重要的数学学科,它涉及到离散的对象和离散的结构,而不是连续的对象和结构。

以下是离散数学的几个重要知识点的总结:集合论- 集合:集合是由元素组成的对象的集合。

集合的运算包括并集、交集和差集等。

集合:集合是由元素组成的对象的集合。

集合的运算包括并集、交集和差集等。

- 子集和超集:如果一个集合的所有元素都是另一个集合的元素,则称前者为后者的子集,反之则称后者为前者的超集。

子集和超集:如果一个集合的所有元素都是另一个集合的元素,则称前者为后者的子集,反之则称后者为前者的超集。

- 幂集:一个集合的幂集是所有可能的子集构成的集合。

幂集:一个集合的幂集是所有可能的子集构成的集合。

逻辑- 命题:一个命题是一个陈述句,可以被判断为真或假。

命题:一个命题是一个陈述句,可以被判断为真或假。

- 逻辑运算:逻辑运算包括与、或、非等,用来连接和否定命题,构成复合命题。

逻辑运算:逻辑运算包括与、或、非等,用来连接和否定命题,构成复合命题。

- 真值表:用来列出复合命题在各种可能情况下的真值。

真值表:用来列出复合命题在各种可能情况下的真值。

关系- 关系:关系用来描述元素之间的联系。

关系可以是二元的或多元的。

关系:关系用来描述元素之间的联系。

关系可以是二元的或多元的。

- 等价关系:等价关系是一种满足自反性、对称性和传递性的关系。

等价关系:等价关系是一种满足自反性、对称性和传递性的关系。

- 偏序关系:偏序关系是一种满足自反性、反对称性和传递性的关系。

偏序关系:偏序关系是一种满足自反性、反对称性和传递性的关系。

- 图的表示:图可以用邻接矩阵或邻接表来表示。

图的表示:图可以用邻接矩阵或邻接表来表示。

图论- 连通性:图中的连通性用来描述图中顶点之间是否存在路径。

连通性:图中的连通性用来描述图中顶点之间是否存在路径。

- 最短路径:最短路径问题是寻找两个顶点之间最短路径的问题。

最短路径:最短路径问题是寻找两个顶点之间最短路径的问题。

东北大学离散数学复习总结(满分版)

东北大学离散数学复习总结(满分版)

方法、知识点总结(知识重点和考题重点)前三章重点内容(知识重点):1、蕴含(条件)“→”的真值P→Q的真值为假,当且仅当P为真,Q为假。

2、重言(永真)蕴涵式证明方法<1>假设前件为真,推出后件也为真。

<2>假设后件为假,推出前件也为假。

易错3、等价公式和证明中运用4、重要公式重言蕴涵式:P∧Q => P or QP or Q => p∨QA->B =>(A∧or∨C)->(B∧or∨C)其他是在此基础上演变等价公式:幂等律P∧P=P P∨P=P吸收律P∧(P∨Q)=P P∨(P∧Q)=P同一律P∨F=P P∧T=PP∨T=T P∧F=FP <-> Q = (P->Q)∧(Q->P) = (P∧Q)∨(﹁P∧﹁Q)5、范式的写法(最方便就是真值表法)6、派遣人员、课表安排类算法:第一步:列出所有条件,写成符号公式第二步:用合取∧连接第三步:求上一步中的析取范式即可7、逻辑推理的写法直接推理论证:其中I公式是指重言蕴涵式那部分其中E公式是指等价公式部分条件论证: 形如~ , ~, ~ => R->SR P(附加条件)......S TR->S CP8、谓词基本内容注意:任意用—> 连接存在用∧连接量词的否定公式量词的辖域扩充公式量词分配公式其他公式9、带量词的公式在论域内的展开10、量词辖域的扩充公式11、前束范式的写法给定一个带有量词的谓词公式,1)消去公式中的联接词→和←→(为了便于量词辖域的扩充);2)如果量词前有“﹁”,则用量词否定公式﹁”后移。

再用摩根定律或求公式的否定公式,将“﹁”后移到原子谓词公式之前;3)用约束变元的改名规则或自由变元的代入规则对变元换名(为量词辖域扩充作准备);4)用量词辖域扩充公式提取量词,使之成为前束范式形式。

简要概括:1、去-> ,<-> 2、移﹁3、换元4、量词辖域扩充12、谓词演算的推理理论推理规则:P、T、CP、US、ES、EG、UG 的使用ES US 去量词EG UG 添量词★谨记:ES要在US之前,很重要添加量词注意事项:13、集合的幂集(用P表示,也常有花P表示)A是集合,由A的所有子集构成的集合,称之为A的幂集。

离散数学必备知识点总结资料

离散数学必备知识点总结资料

离散数学必备知识点总结资料离散数学是指离散的数学概念和结构,独立于连续的数学。

它是在计算机科学、信息科学、数学基础研究、工程技术等领域中的基础课程之一。

以下是离散数学必备的一些知识点总结。

一、逻辑与集合1. 命题与谓词:命题是一个陈述,可以被判断为真或假,而谓词是一种用来描述命题所涉及实体之间关系的语句。

2. 命题逻辑:重点关注命题真假和与或非等运算关系,包括真值表和主范式。

3. 一阶谓词逻辑:注意包含全称量词和存在量词,也包括a|b, a//b等符号的理解。

4. 集合与运算:集合是指不同元素组成的一个整体。

基本的集合运算包括并、交、差等。

5. 关系与函数:关系是一种元素之间的对应关系,而函数是一种具有确定性的关系,即每一个自变量都对应唯一的函数值。

6. 等价关系与划分:等价关系是指满足自反性、对称性和传递性的关系。

划分是指将一个集合分成若干个不相交的子集,每个子集称为一个等价类。

二、图论1. 图的定义和基本概念:图由节点和边构成,节点间的连线称为边。

包括度、路径、连通性等概念。

2. 图的表示方法:邻接矩阵和邻接表。

3. 欧拉图与哈密顿图:欧拉图是指能够一笔画出的图,哈密顿图是指含有一条经过每个节点恰好一次的路径的图。

4. 最短路径与最小生成树:最短路径问题是指在图中找出从一个节点到另一个节点的最短路径。

最小生成树问题是指在图中找出一棵覆盖所有节点的树,使得边权之和最小。

三、代数系统1. 代数结构:包括群、环、域等概念。

2. 群的定义和基本概念:群是在一个集合中定义一种二元运算满足结合律、单位元存在和逆元存在的代数结构。

四、组合数学1. 排列、组合和二项式系数:排列是指从n个元素中任选r个进行排序,组合是指从n个元素中任选r个但不考虑排序,二项式系数是指组合数。

2. 生成函数:将组合数与多项式联系起来的一种工具,用于求出某种算法或结构的某些特定函数。

3. 容斥原理:一个集合的容斥原理指在集合的并、交、补之间的关系。

离散数学第一章知识点总结

离散数学第一章知识点总结

离散数学第一章知识点总结离散数学是现代数学的一个重要分支,它在计算机科学、信息科学、物理学等领域都有着广泛的应用。

第一章通常是对离散数学的基础概念和预备知识进行介绍,为后续的学习打下坚实的基础。

以下是对离散数学第一章知识点的详细总结。

一、集合的基本概念集合是由一些确定的、不同的对象所组成的整体。

集合中的对象称为元素。

我们通常用大写字母来表示集合,用小写字母表示元素。

如果一个元素 a 属于集合 A,记作 a ∈ A;如果一个元素 b 不属于集合 A,记作 b ∉ A。

集合有两种常见的表示方法:列举法和描述法。

列举法是将集合中的元素一一列举出来,例如 A ={1, 2, 3, 4, 5}。

描述法是通过描述元素的共同特征来表示集合,例如 B ={x | x 是大于 0 小于 10 的整数}。

集合之间的关系包括子集、真子集和相等。

如果集合 A 中的所有元素都属于集合 B,那么 A 是 B 的子集,记作 A ⊆ B。

如果 A 是 B 的子集,且 B 中存在元素不属于 A,那么 A 是 B 的真子集,记作 A ⊂ B。

如果 A 和 B 包含相同的元素,那么 A 和 B 相等,记作 A = B。

二、集合的运算集合的基本运算有并集、交集和差集。

集合 A 和集合 B 的并集,记作 A ∪ B,是由属于 A 或者属于 B 的所有元素组成的集合。

集合 A 和集合 B 的交集,记作A ∩ B,是由同时属于 A 和 B 的所有元素组成的集合。

集合 A 与集合 B 的差集,记作 A B,是由属于 A 但不属于 B 的所有元素组成的集合。

此外,还有补集的概念。

如果给定一个全集 U,集合 A 的补集记作A,是由属于 U 但不属于 A 的所有元素组成的集合。

集合运算满足一些重要的定律,如交换律、结合律、分配律等。

例如,A ∪ B = B ∪ A(并集的交换律),A ∩ B =B ∩ A(交集的交换律),(A ∪ B) ∪ C = A ∪(B ∪ C)(并集的结合律),(A ∩B) ∩ C =A ∩ (B ∩ C)(交集的结合律)等。

离散数学知识点总结及应用

离散数学知识点总结及应用

离散数学知识点总结及应用
知识点1: 集合论
- 集合的定义和表示方法
- 集合的运算:并、交、差、补
- 集合的基本性质和定律
知识点2: 逻辑与命题
- 命题的定义和特性
- 命题的联结词:与、或、非
- 命题的真值表和逻辑运算
- 命题的充分条件和必要条件
知识点3: 关系与函数
- 关系的定义和性质
- 关系的类型:自反、对称、传递、等价
- 函数的定义和基本概念
- 函数的特性和图像
知识点4: 图论
- 图的基本概念和术语
- 图的存储结构:邻接矩阵、邻接表
- 图的遍历算法:深度优先搜索、广度优先搜索
- 最短路径算法:Dijkstra算法、Floyd-Warshall算法
知识点5: 组合数学
- 排列和组合的基本概念
- 排列和组合的计算方法
- 随机变量和概率分布
- 组合数学在密码学等领域的应用
知识点6: 布尔代数
- 布尔代数的基本运算:与、或、非
- 布尔函数的最小化方法
- 布尔代数的应用:逻辑电路设计、编码器等
知识点7: 计算理论
- 自动机的基本概念和分类
- 正则语言和正则表达式
- 文法的定义和性质
- 上下文无关文法和巴科斯范式
知识点8: 数论
- 整数的性质和基本运算
- 质数和分解定理
- 同余关系和同余方程
- 数论在加密算法中的应用
以上是离散数学中的一些主要知识点和应用场景的简要总结,希望对你的研究有所帮助。

《离散数学》课程总结

《离散数学》课程总结

《离散数学》课程总结第一篇:《离散数学》课程总结《离散数学》学期总结转眼之间,这学期要结束了。

我们的离散数学,这门课程的学习也即将接近尾声。

下面就是我对这门课一些认识及自己的学习心得。

首先我们这门课程离散数学到底包含了哪几大部分?每部分具体又有什么内?这门课程在计算机科学中有什么地位?这门课程在我们以后的学习生活中,以及在将来的工作中有什么帮助?下面我将以上几个方面具体谈一谈并将总结一下自己本人在这门课程学习过程中遇到的一些问题和心得体会。

这门课程有数理逻辑,集合论,代数系统和图论四部分。

这四大部分通常被称为离散数学的四大体系。

其中每一部分都是一个独立的学科,内容丰富。

而我们离散数学中的内容是其中最基本,最重要且和计算机科学最密切相关的内容吸收到离散数学中来,并使它们前后贯通,形成一个有机整体。

这门课的主要内容有命题逻辑、谓词逻辑,属于数理逻辑部分,集合论中有集合、二元关系、函数,代数系统包含代数系统基础、群、环、域以及格和布尔代数的知识(这部分我们没有涉及)。

那么这门课程在计算机科学中有着什么样的地位呢,这门课程是计算机科学专业中重要的专业基础课程,核心课程,可以这么说,离散数学,既是一门专业基础课,是一门工具性学科。

这门课讲授的内容,与后续专学习业密切相关。

在这门课里我们讲授了大量的计算机学科专业必要的基本概念,基本理论和基本方法。

为我们以后的学习,工作打下良好基础。

在算法设计,人工智能,计算机网络,神经网络,智能计算等学科中有着重要的作用。

在计算机科学中有着广泛的应用。

通过这门课可以对我们计算机算法的理解和逻辑思维得到提高。

那么我们具体学了什么内容呢?(一)首先集合论是整个数学的基础,(不管是离散数学还是连续数学)如果没有专门学过,那么出现在离散数学中还是很合适的。

至于由集合论引出的二元关系,函数的内容,也是理所应当的。

数理逻辑是一个让人眼前一亮的东西。

我第一次发现,原来有些复杂的推理问题是可以通过“计算”的方法解决的。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

方法、知识点总结(知识重点和考题重点)前三章重点内容(知识重点):1、蕴含(条件)“→”的真值P→Q的真值为假,当且仅当P为真,Q为假。

2、重言(永真)蕴涵式证明方法<1>假设前件为真,推出后件也为真。

<2>假设后件为假,推出前件也为假。

易错3、等价公式和证明中运用4、重要公式重言蕴涵式:P∧Q => P or QP or Q => p∨QA->B =>(A∧or∨C)->(B∧or∨C)其他是在此基础上演变等价公式:幂等律 P∧P=P P∨P=P吸收律 P∧(P∨Q)=P P∨(P∧Q)=P同一律 P∨F=P P∧T=PP∨T=T P∧F=FP <-> Q = (P->Q)∧(Q->P) = (P∧Q)∨(﹁P∧﹁Q)5、范式的写法(最方便就是真值表法)6、派遣人员、课表安排类算法:第一步:列出所有条件,写成符号公式第二步:用合取∧连接第三步:求上一步中的析取范式即可7、逻辑推理的写法直接推理论证:其中I公式是指重言蕴涵式那部分其中E公式是指等价公式部分条件论证: 形如 ~ , ~, ~ => R->SR P(附加条件)... ...S TR->S CP8、谓词基本内容注意:任意用—> 连接存在用∧连接量词的否定公式量词的辖域扩充公式量词分配公式其他公式9、带量词的公式在论域内的展开10、量词辖域的扩充公式11、前束范式的写法给定一个带有量词的谓词公式,1)消去公式中的联接词→和←→(为了便于量词辖域的扩充);2)如果量词前有“﹁?”,则用量词否定公式﹁?”后移。

再用摩根定律或求公式的否定公式,将“﹁?”后移到原子谓词公式之前;3)用约束变元的改名规则或自由变元的代入规则对变元换名(为量词辖域扩充作准备);4)用量词辖域扩充公式提取量词,使之成为前束范式形式。

简要概括: 1、去 -> , <-> 2、移﹁3、换元4、量词辖域扩充12、谓词演算的推理理论推理规则:P、T、CP、US、ES、EG、UG 的使用ES US 去量词EG UG 添量词★谨记:ES要在US之前,很重要添加量词注意事项:13、集合的幂集(用P表示,也常有花P表示)A是集合,由A的所有子集构成的集合,称之为A的幂集。

记作P(A)或2的A次方给定有限集合A,如果|A|=n, 则|P(A)|=2的n次方14、求集合的划分数与等价关系数——相同15、三种重要集合运算一、差运算- (相对补集)二、绝对补集~三、对称差前三章重点内容(考题重点):最常考内容和方法需要看自己课件,前三章考试内容不多且简单1、命题符号化(包括第一章简单的命题和第二章谓词的命题)2、逻辑推理(命题逻辑和谓词逻辑两种推理,每章书最后部分)3、主析取范式与主合取范式(命题逻辑和谓词逻辑中的两种范式写法)4、真值的判断后五章重点内容(知识重点):1、笛卡尔积定义:设A、B是集合,由A的元素为第一元素, B的元素为第二元素组成序偶的集合,称为A和B 的笛卡尔积,记作A×B如果A、B都是有限集,且|A|=m, |B|=n,则 |AXB |=mn.2、域的表示:定义域dom(关系的第一个元素的范围)值域 Ran(关系的第二个元素的范围)3、空关系、完全关系、A上的恒等关系IA的定义空关系只有点,没有一条边。

4、关系的个数5、对称、反对称、自反、反自反、传递的判定6、等价关系、等价类定义:设R是A上关系,若R是自反的、对称的和传递的,则称R是A中的等价关系等价关系的个数:划分数;由等价关系图求等价类:R图中每个独立子图上的结点,构成一个等价类。

不同的等价类个数=独立子图个数7、相容关系、相容类特点:自反、对称。

图的简化:⑴不画环;⑵两条对称边用一条无向直线代替相容类:设r是集合X上的相容关系,C?X,如果对于C 中任意两个元素x,y有<x,y>∈r ,称C是r的一个相容类从简化图找最大相容类:最大相容类的意义是——一个相容类加多一个点就不是相容类了,所以最大相容类可以是多个而不是唯一的“最大”的概念,定义类似极大线性无关组,但元素个数不同------找最大完全多边形。

最大完全多边形:含有结点最多的多边形中,每个结点都与其它结点相联结。

通过最大相容类求完全覆盖:完全覆盖就是指所有最大相容类构成的集合。

8、关系的分类:偏序关系定义:R是A上自反、反对称和传递的关系,则称R 是A上的偏序关系。

并称<A,R>是偏序集。

全序关系定义:<A,≤>是偏序集,任何x,y∈A,如果x与y都是可比较的,则称≤是全序关系(线序、链)。

9、偏序集Hasse图的画法1).用“。

”表示A中元素。

2).如果x≤y,且x≠y,则结点y要画在结点x的上方。

3). 如果x≤y,且y盖住x,x与y之间连一直线。

4). 一般先从最下层结点(全是射出的边与之相连(不考虑环)),逐层向上画,直到最上层结点(全是射入的边与之相连)。

(采用抓两头,带中间的方法 )10、重要元素定义(极大小元、最大小元、上下界、最大下界与最小上界)11、如何求映射是入(单)、满、双射?第一步:分别求出定义域和值域第二步:比较就出来了,就那么简单但是要证明的话:两者结合得:双射成立12、复合函数中的重要性质(常考):f:X→Y, g:Y→Z是两个函数, 则⑴如果f和g是满射的,则 g。

f 也是满射的;⑵如果f和g是入射的,则 g。

f 也是入射的;⑶如果f和g是双射的,则 g。

f 也是双射的⑴如果 g。

f 是满射的,则g是满射的;⑵如果g。

f 是入射的,则 f 是入射的;⑶如果 g。

f 是双射的,则f是入射的和g是满射的13、函数种类个数的求法14、逆函数(性质)设f:X→Y是双射的函数,f C:Y?X 也是函数, 称之为 f 的逆函数。

设f:X→Y是双射的函数,则有15、第六章基础知识重点幂等元、幺元e、零元0、逆元的概念同态同构:f(x)满射、并且满足*不是双射就一定复合同构的条件:必须具有幺元对幺元、零元对零元......代数系统(重点)半群:封闭、可逆独异点:有幺元群:可逆交换群:可交换群的特征:1.消去律 2.无零元 3.除幺元外无其他幂等元运算表中:每个元素在每一行、列必须出现仅出现一次!16、第七章基础知识重点格:<A,≤>是偏序集,如果任何a,b∈A,使得{a,b}都有最大下界和最小上界,则称<A,≤>是格平凡格:所有全序都是格,称之为平凡格。

分配格:(判定定理)所有链均为分配格。

设<A, ≤>是分配格,对任何a,b,c∈A, 如果有 a∧b=a∧c及 a ∨b=a∨c则必有 b=c .有界格:(判定定理)有界格定义:如果一个格存在全上界1与全下界0,则称此格为有界格。

从格的图形看:全上界1,就是图的最上边元素(只一个)。

全下界0,就是图的最下边元素(只一个)。

有补格:(判定定理:根据定义看是不是每个中间元素都有补元)补元:设<A,≤>是个有界格,a∈A, 如果存在 b∈A, 使得a∨b=1 a∧b=0 则称a与b互为补元(其中∨是求最小上界,∧求最大下界)有补格的定义:一个有界格中,如果每个元素都有补元,则称之为有补格布尔格:如果一个格既是分配格又是有补格,则称之为布尔格。

*重要定理:在有界分配格中,如果元素有补元,则补元是唯一的。

17、格的同构条件(特别)需同时满足:钻石定律:一个布尔代数的所有原子(直接覆盖最小元0的元素)构成的布尔代数一定与元代数同构18、布尔代数表达式和布尔函数<B,∨,∧,ˉ> 是布尔代数的形式含有变元 x1,x2,…,xn 的布尔表达式记作E(x1,x2,…xn),也可以看成是一个函数f:Bn→B, 称之为布尔函数布尔表达式的范式的写法(很重要,与第一第二章的方法类似)19、第八章图论的重要知识点(好多好多的定义自己记吧)图的同构:两个图同构的必要条件:1.结点个数相等.2.边数相等.3.度数相同的结点数相等.4.对应的结点的度数相等.图的连通:强连通、单侧连通和弱连通(一般不考)如果任何两个结点间相互可达, 则称 G是强连通. 如果任何一对结点间, 至少有一个结点到另一个结点可达, 则称G是单侧连通. 如果将G看成无向图后 (即把有向边看成无向边)是连通的,则称G是弱连通强分图、单侧分图和弱分图在简单有向图中,具有强连通的最大子图,称为强分图.具有单侧连通的最大子图,称为单侧分图.具有弱连通的最大子图,称为弱分图.图的矩阵表示和写法(前两个有点重要):一、邻接矩阵每一行的1:在无向图中代表一条线有向图中代表—>出线列中的1代表<—入线二、可达性矩阵三、完全关系矩阵图中结点的度与个数、边的关系:考试需要两则结合20、欧拉图与H(汉密尔)图(重点)定义:在无孤立结点的图G中,若存在一条回路,它经过图中每条边一次且仅一次,称此回路为欧拉回路. 称此图为欧拉图汉密尔顿回路(H回路):通过G中每个结点恰好一次的回路.具有汉密尔顿回路(H回路)的图.欧拉回路的判定:(充要条件)无向图G具有欧拉路,当且仅当G是连通的,且有零个或两个奇数度的结点.汉密尔顿图的判定: (只有充分条件)(充分条件)设G是有n个结点的简单图,若G中每对结点度数之和大于等于n,则G有一条H回路欧拉回路的算法(重重重!虽然可能不考)(记做闭迹交集法)H回路的算法(重重重!虽然可能不考)(记做相邻最小权法)21、树中的重要方法:树的结点与边数:边数=结点数-1 e = v-1m叉有序树转化成二叉树的方法:赋权图的最小生成树的求法(记做相邻最小权不回路法):定义:一棵生成树中的所有边的权之和称为该生成树的权. 具有最小权的生成树,称为最小生成树.最优树求法:定义***后五章重点内容(考题重点):<精华看完绝对不亏>1、求逆元(例如a逆)第一步:求出幺元e第二步:a逆与a进行所定义的运算,写出等式:如a*a逆=e,求解2、群的阶性质*有一个群G,a属于G,a元素的阶为n,当且仅当k=mn(n的整数倍),a 的k次方=e.*n阶群中的元素x,x的n次方等于e3、树的边数e与叶结点t的关系e=2t-24、图的画法与格的判断画法在前面总结过:偏序集Hasse图的画法3).用“。

”表示A中元素。

4).如果x≤y,且x≠y,则结点y要画在结点x的上方。

3). 如果x≤y,且y盖住x,x与y之间连一直线。

4). 一般先从最下层结点(全是射出的边与之相连(不考虑环)),逐层向上画,直到最上层结点(全是射入的边与之相连)。

(采用抓两头,带中间的方法 )判断——格:看是否任意都有最小上界、最大下界;分配格:跟那俩个特别的格比较,没有那样的子格就是分配格;链一定是分配格有界格:有无最大最小元(1,0表示),有限个元素的格一定是有界格;有补格:看是否每个元素都有补元若有补元,补元唯一的是有界分配格!布尔格:分配、有补5、复合函数的性质f:X→Y, g:Y→Z是两个函数, 则⑴如果f和g是满射的,则 g。

相关文档
最新文档