离散数学-理论.分析.题解

　　离散数学是计算机科学重要的基础理论之一，它也是培养学生缜密思维，提高学生素质的核心课程。在离散数学的教学中，解题方法起着特殊重要的作用，可以培养学生综合分析和理论联系实际的能力。在离散数学的解题方法中，除了应用演绎法，分析法，枚举法，归纳法等常用的方法以外，还往往应用反证法，归谬法，对应法和构造法等一些现代数学的方法。

　　编写本书就是为了给学习离散数学的读者，提供一些解题方法的指导，并给自学离散数学的读者，在自己做完习题后有一个参考解答。

　　本书按章分类，每章分为三个部分：部分是理论，它是离散数学中相应章节的概括，也是解答习题所设计的课程范围，相当于是一个详细的复习提纲。第二部分是选题例解，主要提供了解题方法的分析，希望读者通过能够举一反三，触类旁通。第三部分是习题与解，除了《离散数学》（上海科学技术文献出版社）一书的全部习题以外，还补充了很多增新知识，应用实践的习题。

　　本书共收录选题例题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
习题与解
参考文献