第1章 命题逻辑 1
一、内容提要 2
二、释疑解惑 7
三、典型例题解析 9
四、习题分析与解答 16
第2章 一阶逻辑（谓词逻辑） 33
一、内容提要 33
二、释疑解惑 37
三、典型例题解析 39
四、习题分析与解答 44
第3章 集合的基本概念和运算 56
一、内容提要 56
二、释疑解惑 57
三、典型例题解析 59
四、习题分析与解答 61
第4章 二元关系和函数 69
一、内容提要 69
二、释疑解惑 73
三、典型例题解析 77
四、习题分析与解答 82
第5章 代数系统的一般性质 92
一、内容提要 92
二、释疑解惑 93
三、典型例题解析 95
四、习题分析与解答 97
第6章 几个典型的代数系统 104
一、内容提要 104
二、释疑解惑 107
三、典型例题解析 110
四、习题分析与解答 114
第7章 图的基本概念 122
一、内容提要 122
二、释疑解惑 125
三、典型例题解析 127
四、习题分析与解答 130
第8章 一些特殊的图 138
一、内容提要 138
二、释疑解惑 140
三、典型例题解析 141
四、习题分析与解答 142
第9章 树 149
一、内容提要 149
二、释疑解惑 150
三、典型例题解析 152
四、习题分析与解答 154
部分离散数学试题及解答 159
附录1本科模拟试题及解答 159
模拟试题一 159
模拟试题一参考答案 161
模拟试题二 166
模拟试题二参考答案 168
附录2考研模拟试题及解答 173
考研模拟试题一 173
考研模拟试题一参考答案 174
考研模拟试题二 175
考研模拟试题二参考答案 176
参考文献 177