本书是《离散数学》一书的配套题解。

离散数学是以数学的方法研究离散体的结构特征、相互关系以及相互运算规律的学科。而计算机研究的对象正是离散信号和数据，计算机的硬件结构也正是由具有两态的元器件组成的。所以离散数学是计算机科学与技术的核心基础理论课，是培养学生抽象思维和逻辑推演能力的必修课，是掌握处理离散结构所必须的工具和方法。

在离散数学的教学中，我们发现学生经常反映这样的问题，概念多，内容散，知识点碎，复习时不知道哪里是重点；对书上的例题一看就懂，但自己遇到题目却不知从何下手；没有典型题目的具体解题思路等。故可看出离散数学的解题方法起着特殊重要的作用。通过解题方法的训练，可以培养学生的综合分析和理论联系实际的能力。

前言

第一章 初等数论知识

 内容提要

 典型题解

 习题解答

第二章 命题逻辑

 内容提要

 典型题解

 习题解答

第三章 谓词逻辑习题

 内容提要

 典型题解

 习题解答

第四章 集合

 内容提要

 典型题解

 习题解答

第五章 关系习题

 内容提要

 典型题解

 习题解答

第六章 函数习题 

 内容提要

 典型题解

 习题解答

第七章 代数系统习题

 内容提要

 典型题解

 习题解答

第八章 群论习题

 内容提要

 典型题解

 习题解答

第九章 环和域习题  

 内容提要

 典型题解

 习题解答

第十章 格与布尔代数习题

 内容提要

 典型题解

 习题解答

第十一章 图论习题

 内容提要

 典型题解

 习题解答

第十二章 计算机科学中的应用

 内容提要

 习题解答