前言

“离散数学”课程属于计算机专业的核心基础课，是现代数学的一个分支，是研究离散量的结构及相互关系的学科。随着计算机科学的发展和计算机应用领域的日益扩大，迫切需要适当的数学工具来解决计算机科学各个领域中提出的有关离散量的理论问题。离散数学就是为适应这种需要而创立的，它综合了计算机科学中所用到的研究离散量的数学课题，并进行系统、全面的论述，从而为研究计算机科学及相关学科提供了有力的理论基础和工具。通过本课程的学习，可为各专业后续课程，如程序设计、数据结构、编译原理、操作系统、人工智能、形式语言与自动机、信息管理与检索及开关理论等，提供相应的数学基础和工具。

在编写本书的过程中，作者通过信息技术领域实际案例引入知识点，力求把相应知识点讲活讲通，同时融入思政元素，使教材内容适合应用型本科学生的认知需求。为了进一步落实培养“应用型”人才的目标，在改进教学内容和教学方式上不断摸索，努力帮助学生理解基本理论，达到学以致用。

本书系统介绍了离散数学的基本概念、基本定理、运算规律及离散数学在计算机科学与技术中的应用，主要内容包括命题逻辑、谓词逻辑、集合及其运算、关系、函数和图论。章前有学习目标和思政点，章内有例题解析，章后附有习题。内容循序渐进，概念阐述严谨，证明推演详尽，理论联系实际，适合作为应用型本科院校计算机专业的教材。

本书由许薇负责全部统稿工作并编写第3、4章，同军红编写第1、2章，吴广裕编写第5、6章。

由于编者水平有限，本书难免会有不足之处，恳请广大读者批评指正。 



编者
2023年10月