第1章 数理逻辑 1
1.1 考试要点 1
1.1.1 命题及其符号化 1
1.1.2 命题公式及其分类 3
1.1.3 命题逻辑等值演算 4
1.1.4 范式 5
1.1.5 命题逻辑推理理论 7
1.1.6 谓词与量词 9
1.1.7 谓词公式与解释 10
1.1.8 谓词逻辑等值演算与前束范式 11
1.1.9 谓词逻辑推理理论 12
1.2 例题详析 13
1.2.1 选择题 13
1.2.2 填空题 23
1.2.3 论述题 33
1.3 习题 34
1.3.1 选择题 34
1.3.2 填空题 36
1.3.3 论述题 37
1.3.4 习题参考答案 37
2.1 考试要点 39
2.1.1 集合及其表示 39
第2章 集合论 39
2.1.2 集合的运算 40
2.1.3 有序对与笛卡儿积 42
2.1.4 关系及其表示法 43
2.1.5 关系的运算 44
2.1.6 关系的性质 45
2.1.7 关系的闭包 46
2.1.8 复合关系与逆关系 46
2.1.9 等价关系与偏序关系 47
2.1.10 函数及其性质 48
2.1.11 反函数与复合函数 49
2.2.1 选择题 50
2.2 例题详析 50
2.2.2 填空题 60
2.2.3 论述题 66
2.2.4 解答题 67
2.3 习题 72
2.3.1 选择题 72
2.3.2 填空题 77
2.3.3 论述题 80
2.3.4 解答题 80
2.3.5 习题参考答案 80
3.1.1 二元运算及其性质 85
第3章 代数系统 85
3.1 考试要点 85
3.1.2 代数系统及其子代数和积代数 87
3.1.3 代数系统的同态与同构 88
3.1.4 半群与群 89
3.1.5 环与域 91
3.1.6 格与布尔代数 91
3.2 例题详析 93
3.2.1 选择题 93
3.2.2 填空题 102
3.3.1 选择题 107
3.3 习题 107
3.3.2 填空题 110
3.3.3 习题参考答案 111
第4章 图论 112
4.1 考试要点 112
4.1.1 无向图及有向图 112
4.1.2 通路、回路、图的连通性 114
4.1.3 图的矩阵表示 116
4.1.4 最短路径及关键路径 118
4.1.5 二部图 120
4.1.6 欧拉图与哈密尔顿图 120
4.1.7 平面图 121
4.1.8 无向树及生成树 122
4.1.9 根树及其应用 123
4.2 例题详析 125
4.2.1 选择题 125
4.2.2 填空题 135
4.2.3 论述题 140
4.2.4 解答题 141
4.3 习题 148
4.3.1 选择题 148
4.3.2 填空题 153
4.3.3 习题参考答案 155
第5章 上机操作 157
5.1 考试要点 157
5.1.1 上机考试的基本要求 157
5.1.2 C语言程序的上机基本操作 159
5.1.3 C语言程序的调试操作 162
5.2 例题详析 165
5.3 习题 176
附录A “离散数学”考试大纲 181
附录B 四级全真模拟笔试试题 184
附录C 全国计算机等级考试说明 210