离散数学复习纲要

集合：

1.集合概念以及表示

2.集合运算

3.容斥原理

两个公式：

1.

 

2.

 

关系：

1.关系的概念及表示

2.关系的性质

五个性质:自反（反自反），对称（反对称），传递。

3.关系的运算

基本运算（与集合运算相似）：并、交、差、补、对称差。

复合、逆、幂运算：

复合运算：

 

逆运算

 

闭包运算：

XX（对称）闭包：就是添加序偶使得原式子满足XX（对称）

4.等价关系:

自反、传递、对称。

划分不能含有空集和相交元素。

5.偏序关系：

自反、传递、反对称。

哈斯图{极值（上界）可有多个，最值（上确界）一个}。

函数：

1.函数的概念

2.函数的运算

复合运算（外面的拿进去算）：

 

命题逻辑：

1.基本概念

2.（*）命题公式的等值式：

公式：1.

 

2.

 

3.命题公式的范式

析取范式:由简单合取式构成的析取式

极小项与极大项：极小项（m）取成真赋值，极大项（M）取成假赋值。

4.命题逻辑推理

5.构造证明推理

逻辑谓词：

1.基本概念

2.逻辑谓词公式

注意量词的增删一定要先对存在量词进行操作。

所有量词放在公式之前，叫做前束范式。

3.谓词逻辑推理

直接法

间接法

量词消去律

图：

1.基本概念

有向图、无向图、完全图、生成图、子图

握手定理及其推论。

2.图的连通性

通路和回路、连通分支、连通性（单，强、弱）

3.图的操作和表示

操作：增删缩

表示（关联（0，1，2）、邻接（n，0）、可达（0，1））

4.赋权图与最短通路

dijiastrala最小通路（列表）

5.欧拉与哈密顿

欧拉判定：

 哈密顿判定：

 

（哈密顿通路）

 

树：

1.无向树

2.有向树

3.二叉树与最优树

二叉树性质：

 

最优树（哈夫曼树）：

          硬凑。

代数系统：

1.基本概念

2.代数运算性质

交换律、结合律、分配律、吸收律、幂等律、消去律

3.特殊元素

4.相互联系的代数系统

同构及同态映射。

5.半群与群

6.特殊群

交换群：

 循环群：