目录

离散数学第1章命题逻辑1

1.1命题与表示1

1.2联结词3

1.3命题公式与真值表示5

1.4对偶与范式8

1.5推理13

1.6联结词功能集17

1.7习题18

第2章谓词逻辑22

2.1谓词与命题函数22

2.2谓词公式与翻译24

2.3前束范式28

2.4谓词推理29

2.5习题30

第3章集合论33

3.1集合与表示33

3.2集合运算35

3.3集合的计数与划分40

3.4集合的基数42

3.5习题44

第4章二元关系48

4.1关系及其表示48

4.2关系的性质52

4.3关系的等价57

4.4序关系60

4.5函数62

4.6习题65

第5章图论70

5.1图的概念70

5.2路与回路75

5.3图的矩阵形式78

5.4欧拉图与汉密尔顿图82

5.5平面图与着色83

5.6无向树与生成树87

5.7有向树与应用89

5.8习题94离散数学目录