《离散数学》是研究离散量的结构及其相互关系的一门学科，是和计算机一起发展起来的学科，也被称为“计算机数学”，是计算机学科的专业基础核心课。

本课程主要讲授数理逻辑、集合论、图论和近世代数等四部分内容。将注重实践，面向应用，关注学科发展，深度融合前瞻性问题。

课程目标主要包括：1）掌握离散数学的基本概念和基本原理。2）培养具有良好的开拓专业理论的素质和使用所学知识分析、解决实际问题的能力。3）为后续课程“数据结构”、“数据库”、“人工智能”等打下坚实的基础。

本课程将注重实践，面向应用，关注学科发展，深度融合前瞻性问题，培养学生正确的世界观、价值观。同时以学生为中心更多尊重个体需求与职业兴趣，以人才培养逻辑和人才发展逻辑取代学科逻辑。

目标1：能够理解并运用离散数学中的逻辑推理、集合中二元关系、图论及近世代数的基本概念和基本理论。

目标2：能够运用逻辑解决命题等价及化简，谓词逻辑中的谓词等价，集合关系中的关系运算、证明；图论中特殊图、最短路径的关键知识点的归纳等。

目标3：能够运用逻辑解决命题推理，谓词逻辑中的谓词推理的方法，集合关系中的关系运算、证明及特殊关系的推导；图论中特殊图、最短路径的求解方法等。

总分=线上考试（100%）。

注：河南理工大学的同学参照任课老师的评分标准。

理论内容：计算机导论，高中集合

编程语言：Python语言，C/C++语言任何一门语言均可。

[1] 屈婉玲，耿素云，张立昂 著，离散数学(第2版).高等教育出版社.2015.3.

[2] 刘红美，王建芳等，离散数学（英文版）.华中师范大学出版社，2013.1.

[3] 左孝凌、李为、刘永才.离散数学.上海科学技术文献出版社.1982.1.

[4]  Kenneth H.Rosen 著，徐六通，杨娟，吴斌 译.离散数学及其应用. 机械工业出版社.2015.1.

数理逻辑、集合论及图论等三部分内容都有单元测验，需要完成本部分内容及章节测试后务必将单元测验做完，否则影响最终的成绩。