本书是在*一流本科课程离散数学的基础上,结合卓越工程师教育培养和新工科建设编写而成。作者根据多年的教学实践,针对本科院校学生特色精心编篡。全书共8章,分别介绍离散数学的8大知识:命题逻辑、谓语逻辑、集合、关系、函数、代数系统、格与布尔代数、图论。本书内容丰富,体系严谨,讲解翔实,例题生动有趣,应用举例多,注重知识点在计算机科学与技术中的实际应用,配有《离散数学习题集》、SPOC 视频、PPT课件、线上学习平台等多种教学资源。本书可作为高等院校计算机科学与技术、软件工程、物联网工程、人工智能等相关专业的离散数学课程教材,也可供相关的教学科研人员与工程技术人员参考使用。

本书在内容的组织上,力求培养学生抽象思维、慎密概括和严密的逻辑推理能力，教会学生怎样进行数学思维,同时注重展现离散数学在计算机科学及信息科学中的应用,以增强学生使用离散数学知识分析问题和解决问题的能力,为今后处理离散信息,从事计算机软件的开发与设计或计算机科学及信息科学中的其它实际应用打好数学基础。

离散数学是现代数学的一个重要分支,是计算机科学中基础理论的核心课程。离散数学以研究离散量的结构及其相互之间的关系为主要目标,其研究对象一般的是有限个或可数个元素,因俜箢岖,它充分描述了计算机科学离散性的特点。计算机科学中的程序设计语言数据结构、操作系统、数据库技术、编译原理、算法分析、可计算性与计算复杂性理论、逻辑设计,系统结构、容错诊断,人工智能与机器人,机器定理证明等理论课程都是以离散数学为基础的。本书由作者根据近30年教学实践经验和较成熟的教案整理编写而成。离散数学包括4大部分,各部分的内容都十分丰富,自成体系。本书将这4大体系中*基本、*重要的内容选人,并努力做到简明扼要、深人浅出,既保持各体系的独立性,又展现出它们之间的密切联系。本书的主要特色如下。(1)在每章开头给出了教学要求、本章重点和本章难点,强调章节之间知识的连贯性注重例题分析,规范解题过程,并针对部分章节的知识点录制了微课,读者通过扫描对应二维码即可自主学习。这种方式让学生学起来目标明确,容易上手,并且可同时实现线上,线下同步学习。(2)融入创新性教学理念、教学方法,教学组织与认知科学的色彩鲜明的新模式,书中每章的本章解析给出了本章常见题型解析,以及本章知识点的逻辑结构图,对每章知识点之间的逻辑关系进行了总结。(3)在每章的本章解析中,给出了本章知识点在计算机科学,大数据、人工智能和物联网中的一些典型应用,以使学生认识到离散数学的重要性,激发学生学习的积极性。历史人物的简介可以让学生进一步了解科学家的故事,以及他们在各自领域取得的卓越成就,更为可贵的是可以让学生学习这些人物身上体现出来的坚韧不拔的探索精神,勇于创新的开拓意识、为国家和民族发展而努力奋斗的赤诚之心和严谨治学的态度等优秀品质,通过在课程中融人传记,能让学生直观地感受这些高尚精神的具象呈现,从而潜移默化地影响其价值观的塑造,引导学生树立正确的世界观、人生观和价值观。(4)书中将同类且对比鲜明的概念集中定义,并通过典型的实例进行对比说明,使学牛深刻理解它们的区别与联系;对离散数学中的主要专业术语给出了英文标注,便于学生参阅一些国外的相关教材和专著。总之,本书在内容的组织上,力求培养学生抽象思维,慎密概括和严密的逻辑推理能力教会学生怎样拓展数学思维,同时注重展现离散数学在计算机科学及信息科学中的应用,以增强学生使用离散数学知识分析问题和解决问题的能力,为今后处理离散信息,从事计算机软件的开发与设计,或计算机科学及信息科学中的其他实际应用打好数学基础。本书的主要内容包括命题逻辑、谓词逻辑、集合、关系、函数、代数系统,格与布尔代数、图论等知识,可作为计算机科学与技术、软件工程、物联网工程、人工智能,大数据、云计算、区块链、智能科学与技术等专业的基础理论教材,也可供有关科研、技术人员学习参考。根据编者经验,本书的基本教学时数可为64~72学时,也可根据学生的具体情况配合本课程开展相应的实验教学。本书配有《离散数学习题集》、SPOC视频、PPT课件、线上学习平台等多种教学资源,实现了课前预习、课堂讲授、课后复习做题等线上,线下的有机融合,通过重点、难点、经典例题、课后习题的讲解,力求实现因材施教,个性化学习,提升学生的学习体验,夯实离散数学的理论基础,通过在线学习平台提供的课后作业、课堂签到、抢答、选人、知识图谱等功能和个性化学习推荐功能,有望突破离散数学课程作业多、及时反馈批改结果难、个性化学习路径选择难的困境。在本书编写过程中,作者参阅了许多国内外已经出版的同类教材及专著,在此对这些作者表示由衷的感谢!感谢华中科技大学出版社老师在书稿整理、全书校对等工作中所付出的辛勤劳动。由于编者水平和经验有限,书中疏漏及不妥之处在所难免,恳请读者不吝指正。

程虹，女，副教授，1976年6月出生，中共党员，湖北襄阳人，湖北文理学院计算机工程学院计科系副主任兼党支部书记，专业方向为人工智能、电子商务、网络信息化。主持并完成厅级教科研项目2项，校级教科研项目8项，横向科研项目6项，获得国家发明专利授权1项，新型专利2项，出版学术专著1部，自编特色教材1部，发表论文20余篇；先后荣获十佳青年教师、优秀班主任、优秀党务工作者、教学质量优秀奖、教学标兵、师德标兵等荣誉，2018年获湖北省移动教学大赛一等奖，2020年获校级教学成果奖一等奖，2021年负责的离散数学课程荣获湖北省线上线下混合式一流课程，2023年该课程荣获*线上线下混合式一流课程。

第1章 命题逻辑第2章 谓语逻辑第3章 集合第4章 关系第5章 函数第6章 代数系统第7章 格与布尔代数第8章 图论