本书没有将离散数学内容按照模块分割进行编写，突出知识的内在联系，循序渐进，相互依存。系统介绍了命题逻辑、谓词逻辑、集合与关系、函数、图论基础、特殊图、代数系统基础、几个典型的代数系统中的有关概念、定理及其证明方法。既强化基本概念的描述，又阐述了离散数学的证明方法及各部分知识的应用实例，展示了离散数学在计算机科学与技术及相关领域的应用。