离散数学期末复习知识点（不挂科系列）

第一部分  

基本知识点：命题，联结词，命题公式的类型，极小项，极大项，成真赋值
（成假赋值），基本等值式，推理定律(包括命题、谓词逻辑)，符号化（命题、谓词）
1、求命题公式的两种主范式（重点3元）
2、构造命题公式序列证明法（正确推理的证明方法）
      另外，还需掌握真值表法、等值演算法、主范式法

第二部分
基本知识点：集合（含关系）的运算，幂集，二元关系及性质，
等价关系，划分，偏序关系，哈斯图，函数及性质
1、将A上的关系通过添加最少的有序对使其具有某一性质(如作闭包)
2、构造给定集合上的等价关系、偏序关系
3、判定一关系是否是函数？若是，问函数具有哪些性质？
(满射、单射还是双射？)

第三部分
基本知识点：二元运算，代数常数，代数系统(包括子代数系统)，半群，
独异点，群，环，域
1、会判断一运算是否是给定集合上的二元运算。
2、会确定一个二元运算有无单位元、零元。若一元素有逆元，能求出其逆元。
3、会判断一代数系统是否是半群，独异点，群，环，域。

第四部分
基本知识点：简单图，子图(含生成子图)，Kn, n阶有向完全图，
同构，通路，路径，圈，连通图