离散数学是现代数学的重要分支，同时也是计算机科学与技术本科专业的核心课程。

它为计算机专业的数据结构、操作系统、编译原理、算法设计与分析、数字电路、密码学基础、人工智能等后继课程提供必要的数学基础。

计算机学院自创建以来一直为本科生开设《离散数学》课程。

本建设项目的课程为离散数学(I)，内容包括数理逻辑和集合论两大部分。

该课程具有一定的理论性，在教学过程中如何让学生理解抽象概念是一个难点，也需要结合具体应用来开展教学。