第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