离散数学是研究离散量的结构及其相互之间的关系的一门学科，它与当今计算机所处理的对象相一致.

离散数学是计算机及相关专业的一门核心课程，它不是一门纯数学课程，而是计算机学科的专业基础课程. 一方面，离散数学为后继课程如数据结构、操作系统、计算机组成原理、数据库原理、算法设计与分析、编译原理、计算机网络及人工智能等的学习提供必要的数学基础；另一方面，通过离散数学的学习，培养学生抽象思维能力和严密的逻辑推理能力，为进一步学习打下坚实的基础.

本书是根据作者多年的教学经验编写的，同时也参考了国内、外的离散数学教材. 所选内容经典，适合普通高等院校本科生作为教学用书，也可作为考研学生和计算机工作者的参考书.

全书共分8章，分别介绍集合、映射与运算，关系，命题逻辑，谓词逻辑，群、环和域，格与布尔代数，图论以及几类特殊的图. 全书以集合、映射、运算和关系为主线，使全书内容联系紧密，具有较强的逻辑性. 每节都有精选习题，书后有习题答案及提示. 各章之间的联系如下图所示.

本书讲授约需90课时，根据教学课时以及学生具体情况，对于第4章和第5章内容可适当删减，并可作为专科学生、网络学院学生及成人教育学生的教材. 在学习过程中，若能结合本书的习题解答学习，则能起到举一反三、加深课本内容的学习和理解.

由于编者水平有限，缺点和疏漏在所难免，肯请大家不吝指正，万分感激.

编者2006年8月