"内容 第一部分数理逻辑部分，将选取生活中的逻辑案例和公务员考试题目为引入点，逐步分解数理逻辑中涉及到的命题、谓词、范式及推理理论。一方面可以弘扬优秀的中华传统文化，另一方面可以改变目前教材中的国外案例居多的状况。 拓展环节能够对所选案例进行理论推导、Python程序实现并形成最终报告。 第二部分集合论，通过学习集合论的经典知识，如关系的性质、集合之间的关系，以及无穷级数之间的比较等内容。使学生明白如何正确处理个人与集体、局部与整体之间利益的关系，从而树立正确的全局观。拓展部分主要涉及到对偏序关系深层次探究。 图论部分 从一带一路战略中的路网规划建设作为图论的切入点，解决生活中遇到的最短路径，平面图，四色原理等问题，将理论与实践相结合，每一类问题将会形成一个完整的理论+实践的解决方案。 第四部分对称是一种美，群论部分通过介绍中国在量子通信领域领先全球作为切入点，以增强学生的民族自信心，从同学熟知的整数集内的加法和除法谈起，进一步展开封闭性、幺元、独异点、阿贝尔群及同态/同构的学习和讨论， 拓展部分要求学生查阅相关文献资料，结合量子力学、量子通信与本部分的相关知识，形成完整学术调查报告。"

王建芳,男，教授，硕士生导师，西北工业大学计算机科学与技术专业博士，爱尔兰利莫瑞克大学访学学者，校二级“元培名师”，河南理工大学“学生最喜爱的教师”。主要讲授本科课程《离散数学》、《数据结构》，研究生课程《算法设计与分析》。主要研究领域：人工智能，大数据分析及数据挖掘。目前研究方向：智能推荐系统、深度学习、知识图谱等。主持及参与国家、省部级及厅级项目12项，申请国家发明专利3项、新型实用专利1项，出版教材及专著4部。在国内外重要期刊及国际会议上发表学术论文30余篇（SCI/EI收录20余篇）。有6项科研成果通过省部级鉴定，主持及参与省级教研教改项目4项，获得厅级二等奖及以上奖励3项，获得计算机软件著作权20余项。

前言FOREWORD 离散数学以研究离散量的结构及其相互间的关系为主要目标，其研究对象一般是有限或可数元素。这一特性使得离散数学能够充分描述计算机学科离散性的特点。作为一门数学学科，离散数学不仅具备数学的一切美妙性质，更是与计算机一同发展起来的学科。计算机所处理的对象是离散的，因此离散对象的处理成为计算机科学的核心，而离散数学正是研究离散对象的科学。  教材内容 (1) 数理逻辑: 主要包括命题逻辑和谓词逻辑。通过多个示例将相关重要知识点有机联系起来，例如将中国古文化、动物识别系统的应用场景与推理理论相结合。这不仅丰富了数理逻辑的内涵，还提供了更加生动、具体的学习素材。 (2) 集合论: 以 “部分是否能够等于全体” 为引子，深入探究康托尔集合论中涉及的集合关系及性质、无穷集合及其大小比较、罗素悖论及解决方法。最后以“家族族谱管理系统”作为本部分的应用场景，使读者能够将抽象的集合理论与实际生活相结合，加深对知识的理解。 (3) 代数系统: 主要包括群论、格（论）和布尔代数。群论方面，从整数集内的加法和除法谈起，让读者深刻理解群及其相关概念。格（论）部分从偏序关系入手，深刻理解格的基本概念和典型应用场景。最后通过布尔代数范式理论与数理逻辑的范式建立起关联，形成完整的知识闭环体系。 (4) 图论: 从哥尼斯堡“七桥问题”出发，深入探究每一个知识点。除了阐述基本理论，还将结合实际应用，知其然，更知其所以然。  教材特点 (1) 思政融合: 将数学知识与传统文化、生活现象相结合，激发读者的学习兴趣与文化自信。例如，在数理逻辑部分，通过中国古文化中的逻辑...