内容简介

本书是《离散数学》第三版（耿素云，清华大学出版社，2004年）的配套参考书，共分九章。包括命题逻辑（一阶逻辑）、集合的基本概念和运算、二元关系与函数、代数系统的一般性质，几个典型的代数系统、图的基本概念、一些特殊的图、树。附录部分提供了两套近几年本科离散数学模拟试题及解答。
本书按章顺序排列，每章均由四个部分组成，即主要内容、释疑解惑、典型例题解析、习题分析与解答。主要内容包括每章主要概念、定理、公式等，这一部分内容可为读者快速地复习书中内容提供方便，并为阅读后面的内容打下基础；释疑解惑主要针对各章较难理解及容易混淆的问题进行答疑辅导，以帮助读者对书中内容正确而全面的理解。典型例题解析是本书的重点内容，这一部分我们精选了各章最能反映本章主要知识点的具有一定难度的综合题作为典型例题进行分析、解答。有些例题采取多视角分析，并尽量提供一题多解。主要通过对例题的解答分析加深读者对所学知识的深化理解及解题方法的融会贯通。从而起到举一反三、触类旁通的作用。建议读者把这一部分内容作为重点仔细揣摩和研读定会大有受益。第四部分是习题解答，我们以耿素云等编写的由清华大学出版社出版的离散数学1～9章书后习题为蓝本，对上面的所有习题进行了解答，其中的重难点习题还进行了详尽的分析。
本书在归纳内容、释疑解惑的基础上用丰富的例题为读者诠释概念、演绎技巧，以培养读者分析问题和解决问题的能力。
本书可作为高等理工科院校计算机科学、工程与应用专业的教学参考书，亦可作为本科生学习与考研的指导书。