一、课程概述
本课程是面向工科专业的一门学科基础必修课。课程采用OBE教育理念，以学生能力达成为核心目标，通过反向设计明确学习成果指标，强调知识应用与实际问题解决能力，课程内容涵盖数理逻辑、集合论、图论、代数系统等模块，是一门理论性较强、应用性较广的课程。作为计算机科学的基石，离散数学为数据结构、算法设计、密码学、人工智能等前沿领域提供理论支撑，课程强调数学符号语言的精确表达，通过形式化证明训练学生构建严谨的数学论证能力，掌握离散数学的思维方式，对培养计算思维、提升建模能力具有不可替代的作用，为后续专业学习与技术创新筑牢根基。
二、课程内容
1.数理逻辑；2.集合与关系；3.代数系统；4.图与树。
