依照教育部2018年1月颁发的《普通高等学校本科专业类教学质量国家标准》，在近20年的“离散数学讲义”基础上，精心整理，编撰成本书。在编写过程中，充分考虑了重点高校和普通省属院校等各类学校的学生基础、教学特点和教材改革经验，以增强本书的适用性。 本书分为数理逻辑、集合论、代数系统和图论4篇，内容包括命题逻辑、谓词逻辑、集合、二元关系、函数、代数系统基础、群/环和域、格与布尔代数、图论基础、特殊图与应用共10章。各章的每节都配有习题，重要术语均有相应的英文表述。 本书可以作为计算机科学与技术、软件工程、网络工程、信息安全、物联网工程等相关专业的本科生教材，也可以作为从事计算机软件、硬件开发和应用的工程技术人员的参考书，还可供教师参考或自学者使用。

曹宏举，副教授，博士在读，主讲微积分、线性代数、概率论与数理统计和离散数学等多门课程，其中离散数学主讲11年。主持教育部人文社会科学项目1项，辽宁省自然科学基金项目1项，参与国家自然科学基金项目1项，各类省级项目6项，主编教材和教辅5部。近8年，发表各级学术论文30余篇。�

前言 离散数学是计算机科学中基础理论的核心课程之一，为计算机学科的研究和应用提供了有力的数学工具。随着计算机科学的发展，离散数学将扮演越来越重要的角色。离散数学提供了计算机学科专业必要的基本概念、基本理论和基本方法，这些概念、理论及方法大量地应用在数字电路、数据结构、数据库系统、算法分析与设计、人工智能、计算机网络等专业课程中，它可以为后续课程的学习奠定良好的理论基础。作为现代数学的一个分支，离散数学以研究离散变量的结构和相互关系为主要目标，除给计算机科学提供必要的知识支撑外，它也是培养学生缜密思维和综合分析能力、提高素质的核心课程之一。 2018年1月，教育部发布《普通高等学校本科专业类教学质量国家标准》(下称《国标》)，这是我国首个高等教育教学质量的国家标准。依照《国标》关于计算机类专业知识体系和核心课程体系的建议，本书在编写过程中注意吸纳《国标》中对离散数学相关知识的有关要求，内容上涵盖数理逻辑、集合论、代数系统和图论4篇，共10章。 本书的特色有以下几个。 (1) 考虑到我国高等教育与国际接轨的需要，本书给出了重要概念和术语的英文表述，为读者进一步阅读英文文献提供便利。 (2) 在编写过程中，注意吸收国内外经典教材的优点，从理论论述到例题讲解，精心选择，以增加内容的知识性和趣味性。 (3) 本书中的重要定理和结论均有详细论述，同时也为读者预留部分练习，使其在可望可及的训练中逐步培养逻辑思维能力。 (4) 本书注重通过代数的角度来整合有关内容，使读者可以宏观地体会各章节间的相互关联，从而加深有关知识的理解。 (5...