本书为硕士研究生考试人员“离散数学”课程考试复习用书。内容分为两部分：**部分为解析篇，分为七章，前三章是有关集合论、关系、函数等朴素集合论的基本内容，第四章到第六章是有关数理逻辑的基本内容，包括命题逻辑、谓词逻辑和自然推理系统，第七章是图论，**章均按复习提要、典型题解、习题及答案进行组织；第二部分为实战篇，包括两套模拟试卷和参考答案以及全国一些得点院校硕士研究生入学考试“离散数学”试题汇编。
本书也可作为计算机科学与技术专业本科生、研究生学习“离散数学”课程时间的参考用书。

解析篇
**章 集合
1.1 集合的表示及其运算
1.1.1 复习提要
1.1.2 典型题解
1.1.3 习题及解答
1.2 自然数和归纳法
1.2.1 复习提要
1.2.2 典型题解
1.3 笛卡尔乘积
1.3.1 复习提要
1.3.2 典型题解
1.3.3 习题及解答
第二章 二元关系
2.1 关系
2.1.1 复习提要
2.1.2 典型题解
2.1.3 习题及解答
2.2 关系的合成和闭包
2.2.1 复习提要
2.2.2 典型题解
2.2.3 习题及解答
2.3 相容关系和等价关系
2.3.1 复习提要
2.3.2 典型题解
2.3.3 习题及解答
2.4 序关系
2.4.1 复习提要
2.4.2 典型题解
2.4.3 习题及解答
第三章 函数
3.1 部分函数
3.1.1 复习提要
3.1.2 典型题解
3.1.3 习题及解答
3.2 函数的合成与函数的逆
3.2.1 复习提要
3.2.2 典型题解
3.2.3 习题及解答
3.3 基数及基数代数
3.3.1 复习提要
3.3.2 典型题解
3.3.3 习题及解答
第四章 命题逻辑
4.1 命题和逻辑联结词
4.1.1 复习提要
4.1.2 典型题解
4.1.3 习题及解答
4.2 合式公式
4.2.1 复习提要
4.2.2 典型题解
4.2.3 习题及解答
4.3 等从和蕴含
4.3.1 复习提要
4.3.2 典型题解
4.3.3 习题及解答
4.4 范式和判定问题
4.4.1 复习提要
4.4.2 典型题解
4.4.3 习题及解答
第五章 谓词逻辑
第六章 自然推理系统
第七章 图论
……
实战篇

知名教授一线教师担纲执笔
精选**高校历年考研试题
提供详尽解题方法和参考答案