目录 1
第1章 命题逻辑 1
1.1 大纲要求 1
1.2 重点难点提要 2
1.2.1 命题概念 2
1.2.2 复合命题与联结词 2
1.2.3 命题公式与真值表 3
1.2.4 等价变换与蕴含式 4
1.2.5 最小联结词组与范式 5
1.2.6 推理理论 6
1.3 经典例题及解题技巧 6
1.4 教材练习题同步辅导 13
1.5 自测题 27
第2章 谓词演算 30
2.1 大纲要求 30
2.2.2 量词与合式公式 31
2.2.1 谓词的概念与表示 31
2.2 重点难点提要 31
2.2.3 谓词演算的等价式与蕴含式 32
2.2.4 前束范式 33
2.2.5 谓词演算的推理理论 33
2.3 经典例题及解题技巧 33
2.4 教材练习题同步辅导 39
2.5 自测题 47
3.1 大纲要求 49
第3章 集合与函数 49
3.2 重点难点提要 50
3.2.1 集合的基本概念 50
3.2.2 集合的运算 51
3.2.3 笛卡儿积与关系 52
3.2.4 关系的表示与关系性质 53
3.2.5 关系运算与闭包 53
3.2.6 相容关系与覆盖 54
3.2.7 等价关系与划分 54
3.2.9 函数的概念 55
3.2.8 序关系 55
3.2.10 复合函数与逆函数 56
3.3 经典例题及解题技巧 56
3.4 教材练习题同步辅导 64
3.5 自测题 81
第4章 代数结构 84
4.1 大纲要求 84
4.2 重点难点提要 85
4.2.1 代数结构 85
4.2.3 群与子群 86
4.2.2 半群与独异点 86
4.2.4 环与域 87
4.2.5 格与子格 88
4.2.6 分配格与有补格 89
4.2.7 布尔代数 89
4.3 经典例题及解题技巧 89
4.4 教材习题同步辅导 93
4.5 自测题 116
5.1 大纲要求 118
第5章 图论 118
5.2 重点难点提要 119
5.2.1 图的基本概念 119
5.2.2 路与回路与图的连通性 120
5.2.3 图的矩阵表示 121
5.2.4 欧拉图与哈密尔顿图 121
5.2.5 平面图 122
5.2.6 树及应用 122
5.3 经典例题及解题技巧 123
5.4 教材练习题同步辅导 128
5.5 自测题 143
附录1 自测题参考答案 145
附录2 模拟试题及真题 160
模拟试题(一) 160
模拟试题(二) 164
全国2002年(上)高等教育自学考试离散数学试题 167
全国2003年(上)高等教育自学考试离散数学试题 174
主要参考文献 181