离散数学
1数理逻辑
命题:非真即假的陈述句
联结词:比如非p,这个非就是否定连结词; 比如且,就是合取连结词:含有非,且(合取),或(析取),如果。。。则,当且仅当(等价)
重言式(永真式):永远是对的
矛盾式(永假式):恒为0
可满足式:不是矛盾式
成真赋值:就是为1的赋值
成假赋值:就是为0的赋值
析取式:就是或; 合取式:就是且
等值式:就是两边可以互相推导的,(其中有一个蕴含等值式:A->B等价于 非A或B,因为只有10为假,其余为真):等值式作用是为了等价替换,更容易看出是真还是假
析取范式:由有限个简单的合取式的析取构成
合取范式:由有限个简单的析取式的合取构成
极小项:就是且的所有情况,而且每个命题变元必须是p或者非p,而且小标对应成真赋值的十进制数;
极大项:就是或的所有情况,而且每个命题变元必须是p或者非p,而且小标对应成假赋值的十进制数;
主析取范式:析取范式里面每个小项里面的合取式都是极小项,那么称为主析取范式。
主合取范式:合取范式内部每个小项的析取式都是极大项,那么称为主合取范式。
联结词的完备集:就是用这个集合里面的联结词表示出来的命题可以和任何已知命题等价。
A=>B:A推出B,就是指A->B是重言式
通过三种方法:1.真值表法
2.等值演算法
3.自然推理系统的推理规则证明:
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-CbLrUBQo-1648986529563)(C:\Users\SKYFI\AppData\Roaming\Typora\typora-user-images\image-20220323193122508.png)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-AGMkzpx2-1648986529565)(C:\Users\SKYFI\AppData\Roaming\Typora\typora-user-images\image-20220323193213375.png)]
集合代数
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-NnB5blDB-1648986529566)(C:\Users\SKYFI\AppData\Roaming\Typora\typora-user-images\image-20220323194325469.png)]
集合排斥原理:就是第一次是加,然后减,然后加。。。。。以此类推
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ozqRJRlU-1648986529567)(C:\Users\SKYFI\AppData\Roaming\Typora\typora-user-images\image-20220323205926561.png)]
二元关系
笛卡尔积:仍旧是集合,就是所有的组合序对
关系:A * B的所有子集都是从A到B的关系。也可以说A上的关系,那么就是A* A,
其中包含了空关系,全域关系,恒等关系
关系表示:通过关系矩阵,关系图
关系性质:
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-N4vIrAtg-1648986529568)(C:\Users\SKYFI\AppData\Roaming\Typora\typora-user-images\image-20220323210504548.png)]
等价关系:R为非空集合A上的二元关系,如果R是自反的,对称的,传递的,则R是A上的等价关系
偏序关系:R为非空集合A上的二元关系,如果R是自反的,反对称的,传递的,则R是A上的偏序关系。
图论
G=(V,E)
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-G5A9D7i9-1648986529569)(C:\Users\SKYFI\AppData\Roaming\Typora\typora-user-images\image-20220323212153403.png)]
握手定理:边数偶数,点数为奇数;边数奇数,点数为偶数。
通路,回路,连通
强连通:任意两个节点互相可达
欧拉图和哈密顿图
欧拉图:
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-3lpx9Cjm-1648986529570)(C:\Users\SKYFI\AppData\Roaming\Typora\typora-user-images\image-20220323214401518.png)]
哈密顿图:
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-BPQhV1WF-1648986529571)(C:\Users\SKYFI\AppData\Roaming\Typora\typora-user-images\image-20220323214621791.png)]
区别:欧拉图是通过边一次且仅一次,而哈密顿图是通过节点一次且仅一次
树