![](https://img-blog.csdnimg.cn/direct/bdbd2e5f94ed40c6a8c03fa8c79977c9.jpeg?x-oss-process=image/resize,m_fixed,h_224,w_224)
离散结构
离散结构知识点、重难点剖析
唧唧歪歪的newsoul
这个作者很懒,什么都没留下…
展开
-
等价关系、偏序关系与哈斯图
设R是集合A上的一个二元关系,如果R满足自反性、对称性和传递性,则称R是一个等价关系。设R是集合A上的一个二元关系,如果R满足自反性、反对称性和传递性,则称R是一个等价关系。典型的偏序关系:1·大于等于/小于等于关系2·正整数或其任何子集上的整除关系3·任何集合的幂集上的包含关系。原创 2024-05-26 20:42:55 · 790 阅读 · 0 评论 -
二元关系表示
什么是二元关系?对集合A和B,A\timesB的任意子集R为A到B的一个二元关系。当A=B时,A\timesA的任一子集R称为A上的一个二元关系。在不引起误解的情况下,二元关系可简称关系。若|A|=m,|B|=n,则A到B的二元关系共有2^{mn}个,A上的二元关系共有2^{m^{2}}个。关系的三种表示法:集合表示法、关系图表示法、关系矩阵表示法。原创 2024-05-25 14:35:52 · 408 阅读 · 0 评论 -
集合的基本概念和运算
幂集的一般求解步骤:分别求出0元子集、1元子集、2元子集…n元子集,再用{}扩起来即可。设A是任意一个集合,则A的所有子集构成的集合就是A的幂集,记作P(A)。枚举法、描述法,文氏图法。集合是一组对象的整体。包含关系、子集与真子集。1·用集合构建符号证明。2·用集合成员表证明。3·用集合恒等式证明。原创 2024-05-24 23:33:23 · 423 阅读 · 0 评论 -
谓词逻辑(一)
2·谓词:描述一个个体词的属性或多个个体词之间的关系(可用一元函数和多元函数来理解)。不含自由变元的公式称为封闭的公式(简称闭式),封闭公式在给定了解释的情况下就成为命题。约束变元:有量词约束,在对应量词的辖域范围内。量词的辖域:紧挨着量词的谓词或括号内子公式。1·重言式(永真式):公式在所有解释下为真。2·矛盾式(永假式):公式在所有解释下为假。5·量词前面有否定的,用量词转换率;两种量词的使用:全称量词与存在量词。1·个体词:可以独立存在的客体。3·量词:表达个体词数量的关系。自由变元:没有量词约束。原创 2024-05-23 22:30:44 · 301 阅读 · 0 评论 -
命题逻辑(二)
画真值表,找出使得公式真值为真的所有解释,其对应极小项的析取就是该公式的主析取范式;找出使得公式为假的所有解释,其对应极大项的合取就是该公式的主合取范式。利用主析取或主合取还可以判断公式是否等价。1·主析取范式=极小项的析取(用m表示)2·主合取范式=极大项的合取(用M表示)1·若主析取范式为空,则公式为矛盾式。2·若主合取范式为空,则公式为重言式。引入结论的否定,推出矛盾P合取非P。证明过程中引入结论的前提作为条件。3·否则,公式为可满足式。原创 2024-05-22 19:45:49 · 537 阅读 · 0 评论 -
命题逻辑(一)
命题的定义:具有确切真值的陈述句。原创 2024-05-22 18:44:42 · 335 阅读 · 0 评论