书籍介绍
目录
第一章 命题逻辑
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 习题与解
参考文献
离散数学是计算机科学重要的基础理论之一，它也是培养学生缜密思维，提高学生素质的核心课程。在离散数学的教学中，解题方法起着特殊重要的作用，可以培养学生综合分析和理论联系实际的能力。在离散数学的解题方法中，除了应用演绎法，分析法，枚举法，归纳法等常用的方法以外，还往往应用反证法，归谬法，对应法和构造法等一些现代数学的方法。
编写本书就是为了给学习离散数学的读者，提供一些解题方法的指导，并给自学离散数学的读者，在自己做完习题后有一个参考解答。
本书按章分类，每章分为三个部分：第一部分是理论，它是离散数学中相应章节的概括，也是解答习题所设计的课程范围，相当于是一个详细的复习提纲。第二部分是选题例解，主要提供了解题方法的分析，希望读者通过能够举一反三，触类旁通。第三部分是习题与解，除了《离散数学》（上海科学技术文献出版社）一书的全部习题以外，还补充了很多增新知...