本书包括数理逻辑、集合论、图论和代数系统四部分内容。本书中定义、原理论述详细，通俗易懂，内容丰富，既注重对基本概念的论述，又注重原理的证明方法及其在计算机科学中的实际应用。每一章的后面都有对应本章知识点的习题，便于读者更深入理解和巩固所学的知识理论基础，在教授时建议64学时左右。 本书可以作为计算机及相关专业的本科生教材，也可以作为计算机相关资格水平考试的参考书，同时也可以为从事计算机软、硬件开发和应用的人员提供参考。

本书不但考虑了与前导课程的关系，也考虑了与后续课程的关系。把理论应用于实际，解决实际问题，这是本书的一大特色。 如果希望加入教师微信交流群，请加微信：itbook8 如果希望加入教师QQ交流群，请加QQ：883604 加入时，请写明：“学校+姓名”，并写明“加入教师群”，只限教师。

前言 离散数学是现代数学的一个重要分支，也是计算机科学的理论基础，它以离散量为研究对象，研究各种各样的离散量的结构及其关系，这正与计算机所处理的对象相一致，因此成为计算机科学的基本工具。它的前导课程为“线性代数”，可以为后续课程，如“数据结构”、“数据库”、“信息科学”、“算法设计”等课程提供必要的数学基础。 在本书编写过程中，不但考虑了其与前导课程的关系，也考虑了其与后续课程的关系，注重理论与实践的结合。把理论应用于实际，解决实际问题，这是本书的一大特色。对于每一章的理论，都通过例题或习题应用于实际，解决了实际应用的问题。本书详细论述了相关概念及定理，对于大部分定理，都给出了证明推理，学生不仅要学会理解定理，更重要的是要学习数学思维，为今后的学习和研究打下坚实的数学基础。 本书主要包括数理逻辑、集合论、图论和代数系统四部分内容。第一部分数理逻辑由高志军编写，第二部分集合论由王光辉编写，第三部分图论由刘忠艳编写，第四部分代数系统由付喜辉编写。 本书既可作为计算机及相关专业的本科生教材，也可以作为计算机相关资格水平考试的参考书，同时也可作为从事计算机软件、硬件开发和应用人员的指导书。 由于作者水平有限，书中有不妥或疏漏之处在所难免，恳请读者们批评指正，多提出宝贵意见，便于今后改正。 编者 2016年3月