离散数学是计算机科学中最重要的基础理论之一，也是培养学生缜密思维、提高学生素质的核心课程。与学习其他基础数学一样，在学习离散数学中，解题是巩固知识、深化理解的一条必要途径。通过解题方法的训练，可以培养学生的综合分析能力和理论联系实际的学风。

本书在归纳内容、疑难解析的基础上，用丰富的例题为读者诠释概念、演绎技巧，以培养读者分析和解决问题的能力。

本书是《大学数学学习方法》丛书之一。共有7章。内容包括命题逻辑、谓词逻辑(一阶逻辑)、集合与关系、函数、代数结构、格与布尔代数、图论。附录部分提供了模拟试题及其解答共6套。本书在归纳内容、疑难解析的基础上，用丰富的例题为读者诠释概念、演绎技巧，以培养读者分析和解决问题的能力。

本书可作为高等理工科院校计算机科学、工程与应用专业的教学参考书，也可作为本科生学习与考研的指导书。

第一章 命题逻辑

 主要内容

 疑难分析

 典型例题

 习题解答

第二章 谓词逻辑

 主要内容

 疑难分析

 典型例题

 习题解答

第三章 集合与关系

 主要内容

 疑难分析

 典型例题

 习题解答

第四章 函数

 主要内容

 疑难分析

 典型例题

 习题解答

第五章 代数系统

 主要内容

 疑难分析

 典型例题

 习题解答

第六章 格和布尔代数

 主要内容

 疑难分析

 典型例题

 习题解答

第七章 图论

 主要内容

 疑难分析

 典型例题

 习题解答

附录

 附录A 期中考试试题及解答

 附录B 期末考试试题及解答

 附录C 本科模拟试题及解答

 附录D 考研模拟试题及解答