本书共7章，内容包括命题逻辑、谓词逻辑、集合与关系、函数、图论、树及其应用、代数结构，详尽介绍了离散数学的概念、定义与运用实例，主要研究计算机科学中所用到的离散量的数学课题。全书对这些内容进行比较系统、全面地论述。通过本书的学习，一方面，帮助学生掌握进行计算机科学研究与应用所必需的处理离散量的数学工具，掌握常用的问题及相应的解决方法；另一方面，旨在培养学生的数学思维能力，发现问题、分析问题和解决问题的能力，提高抽象思维和严格的逻辑推理能力，为后续课程的学习创造条件。