离散数学总结
主要内容
命题逻辑
一阶逻辑
集合
关系与函数
图与特殊图
代数系统
2
命题逻辑
3
范式：
析取范式：
合取范式：
主析取范式：
析取范式中，每一项都是极小项
极小项的编码
两种方法求主析取范式：真值表、等值演算
主合取范式：
合取范式中，每一项都是极大项
极大项的编码
两张方法求主合取范式：真值表、等值演算
4
命题推理
析取三段论、假言推理、拒取、假言三段论
组合电路设计（了解）
5
一阶逻辑
谓词及符号化命题
特性谓词符号化命题，如：
不是所有四川人都喜欢吃辣椒
有的火车比所有汽车都跑得慢
论域有限域上的谓词公式消去量词的方法
6
大家有疑问的，可以询问和交流
可以互相讨论下，但要小声点
集合
8
关系及函数
9
关系的性质
自反、反自反、对称、反对称、传递
如何从关系图、关系矩阵判断关系具有的性质
特殊关系具有的性质：
空关系：反自反、对称、反对称、传递
全域关系：自反、对称、传递
恒等关系：自反、对称、反对称、传递
关系的运算：逆、合成（左复合）
求关系的闭包
自反闭包 r(R)、对称闭包s(R)、传递闭包：t (R)
10
离散数学总结 PPT 来自淘豆网m.daumloan.com转载请标明出处.
