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

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