离散数学是现代数学的一个重要分支，是计算机科学与技术的专业核心基础课程，研究离散量的结构及相互间的关系、离散结构的数学模型及建模方法。课程内容包括数理逻辑、集合论、图论等基本概念、基本思想、基本方法，阐述现代数学关于离散结构的观点、处理方法及相关算法。通过该课程的学习，能够阐述计算机领域研究和开发中对离散结构的描述和分析方法，能够熟练应用抽象的符号表示及推理演算等形式进行问题表述、分析、推导与计算，具备使用数学语言和符号系统进行离散问题建模的思维方式和基本能力，能对实际问题建立数学模型、设计解决方案，培养抽象概括、逻辑推理、形式化表示等数学思维、计算思维等能力，为后续专业课程的学习、从事计算机科学及相关学科的研究提供理论基础和工具。

知识目标
理解计算机领域中对离散问题的描述与处理原理、方法及算法，以及数理逻辑、集合论、图论等数学分支的基础知识，培养科学思维方式、扎实的数学基础。
能力目标
(1)能阐述命题逻辑和谓词逻辑的基本概念和基本分析方法，能够用数学语言和符号系统描述实际问题，并能进行形式化证明，建立初步的形式化思维。
(2)能阐述集合、二元关系、函数的基本概念、基本性质、基本运算以及数学归纳法的思想，能用集合与关系模型描述离散对象间的联系，能分析关系的各种性质、进行相关运算。
(3)能阐述图论的基本概念、相应数学分析工具和常用算法，能针对实际问题建立图论模型，选择相应的图论算法，进行求解。
(4)能用离散数学的数学语言和符号系统对实际问题进行识别与表达、模型建立与分析、 编程计算与求解，具备解决复杂工程问题的初步能力。
思政目标
(1)通过了解数理逻辑、集合论、图论的发展历程，激发学习兴趣及勇于探索的工匠精神。
(2)通过介绍离散数学在专业课程、计算机科学及‌人工智能等领域的广泛应用，‌引导学生将所学知识应用于实际，树立家国情怀，激发科技强国的信心、责任感及使命感。
(3)鼓励学生进行课外拓展学习，培养学生的攻坚克难、团结合作精神及创新能力。

思政融合点1
选取章节：第  二  章   第 二  节
思政结合点：科学思维,家国情怀,理想信念,社会主义核心价值观
思政融合点2
选取章节：第 六 章   第  四  节
思政结合点：科学思维,家国情怀,理想信念,社会主义核心价值观
思政融合点3
选取章节：第 六 章   第  七  节
思政结合点：科学思维,家国情怀,理想信念,社会主义核心价值观