离散数学总结.pptx

离散数学总结;主要内容;命题逻辑;范式：

析取范式：

合取范式：

主析取范式：

析取范式中，每一项都是极小项

极小项的编码

两种方法求主析取范式：真值表、等值演算

主合取范式：

合取范式中，每一项都是极大项

极大项的编码

两张方法求主合取范式：真值表、等值演算;命题推理

析取三段论、假言推理、拒取、假言三段论

组合电路设计（了解）;一阶逻辑;大家有疑问的，可以询问和交流;集合;关系及函数;关系的性质

自反、反自反、对称、反对称、传递

如何从关系图、关系矩阵判断关系具有的性质

特殊关系具有的性质：

空关系：反自反、对称、反对称、传递

全域关系：自反、对称、传递

恒等关系：自反、对称、反对称、传递

关系的运算：逆、合成（左复合）

求关系的闭包

自反闭包r(R)、对称闭包s(R)、传递闭包：t(R)

;等价关系：

定义：自反、对称、传递（Φ、EA、IA哪些是等价关系）

等价类：[x]R={y|y∈A∧xRy}

商集：A/R={[x]R|x∈A}

集合的一种划分?(A)??集合上的一种等价关系R

若?(A)={A1,A2,…Am}，则其诱导的等价关系R=(A1?A1)∪(A2?A2)…(Am?Am)

集合上的不同等价关系个数=集合的不同划分数

偏序关系：记作A,?

定义：自反、反对称、传递（Φ、EA、IA，哪些是偏序关系）