本书作为《离散数学》课程的辅导教材，特别注重习题的选择。习题的选择注重突出基本理论、基本概念和基本方法的掌握，又有较灵活和深入的题型。同时注重解题方法和技巧的运用，旨在加深读者对知识的理解。

全书共有12章，每章包括：基本要求，内容分析和习题解答三部分，并附有两套自测试题及答案。本书包括命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、二元关系、函数与集合的势、图、树、群与环、格与布尔代数共12章习题解答。

本书对离散数学各章节知识的要点和难点，对解题的方法和技巧作了全面的分析。本书包括命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、二元关系、函数与集合的势、图、树、群与环、格与布尔代数共12章内容。

本书表达严谨，推理缜密，提供了大量习题及其分析与解答。本书可作为高等院校计算机科学与技术及相关信息类专业的教学参考书，也适用于报考计算机专业研究生的学生作为复习指导书，也可供教师、研究生和相关人员作参考书。

第一章 命题演算基础

 1.1 基本要求

 1.2 内容分析

 1.3 习题解答

第二章 命题演算的推理理论

 2.1 基本要求

 2.2 内容分析

 2.3 习题解答

第三章 谓词演算基础

 3.1 基本要求

 3.2 内容分析

 3.3 习题解答

第四章 谓词演算的推理理论

 4.1 基本要求

 4.2 内容分析

 4.3 习题解答

第五章 递归函数论

 5.1 基本要求

 5.2 内容分析

 5.3 习题解答

第六章 集合

 6.1 基本要求

 6.2 内容分析

 6.3 习题解答

第七章 二元关系

 7.1 基本要求

 7.2 内容分析

 7.3 习题解答

第八章 函数与集合的势

 8.1 基本要求

 8.2 内容分析

 8.3 题解答

第九章 图

 9.1 基本要求

 9.2 内容分析

 9.3 题解答

第十章 树

 10.1 基本要求

 10.2 勺容分析

 10.3  题解答

第十一章 群与环

 11.1 基本要求

 11.2 内容分析

 11.3 习题解答

第十二章 格与布尔代数

 12.1 基本要求

 12.2 内容分析

 12.3 习题解答

附录 模拟试卷及解答

 模拟试卷一

 模拟试卷二

 模拟试卷一解答

 模拟试卷二解答

参考文献