离散数学的分析与复习修正版(小咲的整理与总结)
前言:有任何问题请直接留言谢谢,方面整理修改,上半学期的离散数学侧重点在于一些概念,文章呢首先先写一些概念,帮助理解,其他呢就是干货了,红字代表重中之重,例题其实很重要啦,也是我以后复习的记忆点,切记
一、命题逻辑
目录
合取^、析取V、条件->、双条件<->、引入了一个真值表的神秘武器解决了各类等价关系式,用命题符号化表示各类陈述语句
为了进一步理解和统一化,我们开始学习析取范式和合取范式,说白了就是一种规范模式,尽量使其唯一化,但发现还是无法唯一,由此引入了主析取范式和主合取范式
主析取范式
定义:对于给定的命题公式A(P1,P2,P3,……,Pn),如果有一个仅由最小项的析取构成的等值式称为原命题公式的主析取范式。
当然所有的学下来如何求主析取范式和主合取范式一句话就是还是不会,最后还是采用神秘武器解决的这类题目,就是真值表法,
主合取:成假赋值-》极大项 主析取:成真赋值-》极小项
第一章总结就是真值表是万能的,除非遇到化简,必须用德摩根式子等才会出现问题,再附上一些等值式
推理
不再过多阐述,基本上就是公式的迭代
主要需要掌握的是,逻辑推理,见后面的图片,
逻辑推理时记住附加前提引入,当结论为A->B,A加入前提,B作为结论
归谬法就是把结论否定作为前提,推出矛盾,结论为0,方法推荐使用,因为都知道结论了,只要找出矛盾就行了
具体的例题:https://wenku.baidu.com/view/06851b359b89680203d825eb.html?rec_flag=default&sxts=1564070500057
如果你看不懂上面的推理就写中文吧,下面是黄金(一直在用的)公式,推理专用啦
如果还是看不懂,篇幅有限,建议反复记住公式以后看书上的例题,这里书上的习题讲的好
二、谓词逻辑
这一章节开门见山就是两个基本概念:对任意的和存在,高数都有印象的吧
分别是
说实话这一章节具有挑战的,特别注意的是量词作用域的收缩与扩张律包括一些置换规则以及换名规则,当然基本上分值不大,这是通过率问题啊
三、集合与关系
这一章节可能是最喜欢的章节了吧,因为又是学过的单元,核心知识点在于图形的理解,重点就是自反性、反自反、对称性、反对称性、传递性,首先列举几个基本图形,这些都是小意思了吧
自反与反自反(电子科技大学图片mooc)
自反与反自反:有无闭环,全是闭环就是自反,全不是闭环是反自反
矩阵(略):主对角线全1或全0主对角线全是1就是自反,全是0就是反自反
对称与反对称
对称:你要是想从一个点出发,就必须要回来,如果你宅在家中,那么不影响
反对称:浪子回头金不换,女儿铁了心嫁出去,当然把她锁在家里也可以
定义:
对称R任何一对结点要不有方向相反的两条边要不没有边(1、3和3、1对称)
反对称S任何一对结点之间最多只有一条边(不看是否是闭环判定)
T可以看出不满足了吧,首先1、4结点不满足对称,1、3结点不满足反对称
传递
传递就是S会忘记竟然是传递的(矩阵性质不做讨论了)
闭包(就是画图题,看一下就知道了)
闭包这里分值还是比较大的,但是相对来说还是得心应手的 | |
看看下面的r(R)猜一猜是什么的闭包呢?嗯嗯就是自反的闭包,那么s(R)呢,t(R)呢? |
等价关系:自反对称传递
等价类应用:数据发掘、等价类划分法(黑盒测试中一项:边界值分析法、等价类划分法、决策表法、错误推测法等)、生活场景(啤酒与尿布可能会一起买)
等价类的特性
集合划分
偏序关系的应用: