第一章 命题逻辑 1
1.1本章内容概述 1
1.2范例解析 5
1.3 习题与解答 12
第二章 一阶逻辑 35
2.1 本章内容概述 35
2.2 范例解析 39
2.3 习题与解答 45
第三章 集合的基本概念和运算 56
3.1 本章内容概述 56
3.2 范例解析 58
3.3 习题与解答 67
第四章 关系和函数 75
4.1 本章内容概述 75
4.2 范例解析 81
4.3 习题与解答 89
第五章 代数系统概述 110
5.1 本章内容概述 110
5.2 范例解析 112
5.3 习题与解答 115
第六章 几种典型的代数系统 124
6.1 本章内容概述 124
6.2 范例解析 127
6.3 习题与解答 128
第七章 图的基本概念 141
7.1 本章内容概述 141
7.2 范例解析 145
7.3 习题与解答 150
第八章 树 157
8.1 本章内容概述 157
8.2范例解析 159
8.3 习题与解答 162
第九章 几类特殊图 168
9.1 本章内容概述 168
9.2 范例解析 170
9.3 习题与解答 172
附录 历年北京市高等教育学历文凭考试离散数学基础试题及答案 179
参考文献 200