离散数学是现代数学的一个重要分支，是计算机软件及相关专业的基础理论和核心课程。离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般为有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。本课程主要包括命题逻辑、谓词逻辑、集合论、图论等内容。通过该课程的学习，不仅可以对进一步学习其它后续课程打下基础，而且可以培养学生的逻辑推理、抽象思维、综合分析和严谨缜密等方面的能力。

知识目标
1、掌握命题逻辑、谓词逻辑、集合与关系、函数等的基本概念，理解和熟练掌握数理逻辑、集合论等相关的证明。
2、了解数理逻辑、集合论等在其他学科和实际的应用。

能力目标
1、培养学生逻辑推理能力、抽象思维能力和理论联系实际的能力。
2、在掌握数理逻辑推演方法的基础上, 能够对相关的逻辑论证问题进行分解和符号化;在掌握集合、关系、函数、图论等相关理论的基础上，能够对相关问题进行识别和求证分解。
3、能够对相关的逻辑论证问题进行逻辑推演;能够对集合、关系、函数、图论等相关问题进行理论论证和求解。

思政目标
1、经历数学家的思维过程，体验发现问题、解决问题的成就感，感受数学知识的发生发展过程，形成辩证的发展观；
2、培养团结合作、实事求是的意识；
3、培养学生对新知识敢于求实创新的探索精神和独立思考的意识。

思政融合点2
选取章节：第二章第七节 谓词演算的推理理论
思政结合点：科学思维
思政融合点3
选取章节：第三章第十节 等价关系与等价类
思政结合点：科学思维