离散数学是计算机科学重要的基础理论之一,它也是培养学生缜密思维,提高学生素质的核心课程。在离散数学的教学中,解题方法起着特殊重要的作用,可以培养学生综合分析和理论联系实际的能力。在离散数学的解题方法中,除了应用演绎法,分析法,枚举法,归纳法等常用的方法以外,还往往应用反证法,归谬法,对应法和构造法等一些现代数学的方法。
编写本书就是为了给学习离散数学的读者,提供一些解题方法的指导,并给自学离散数学的读者,在自己做完习题后有一个参考解答。
本书按章分类,每章分为三个部分:**部分是理论,它是离散数学中相应章节的概括,也是解答习题所设计的课程范围,相当于是一个详细的复习提纲。第二部分是选题例解,主要提供了解题方法的分析,希望读者通过能够举一反三,触类旁通。第三部分是习题与解,除了《离散数学》(上海科学技术文献出版社)一书的全部习题以外,还补充了很多增新知识,应用实践的习题。
本书共收录选题例题81道,习题647道。本书仅是教学参考资料,读者务必先学习课程,独立完成作业,再参阅解答,这样才能体会深刻,事半功倍。

**章 命题逻辑
A 内容提要
B 选题例解
C 习题与解
第二章 谓词逻辑
A 内容提要
B 选题例解
C 习题与解
第三章 集合与关系
A 内容提要
B 选题例解
C 习题与解
第四章 函数
A 内容提要
B 选题例解
C 习题与解
第五章 代数结构
A 内容提要
B 选题例解
C 习题与解
第六章 格和布尔代数
A 内容提要
B 选题例解
C 习题与解
第七章 图论
A 内容提要
B 选题例解
C 习题与解
第八章 形式语言与自动机
A 内容提要
B 选题例解
C 习题与解
第九章 纠错码初步
A 内容提要
B 选题例解
C 习题与解
参考文献