离散数学在抽象和理论的基础上提供数学方法，本课程是计算机专业的基础课程，也是计算机类专业重要的课程之一，是计算机专业教学系列中的核心课程，是是数据结构与算法、算法设计与分析、编译原理、计算机网络、数据库原理、计算机组成原理等课程的先导课程，为这些后继的专业课提供必要的数学工具，为描述离散模型提供数学语言。

本课程主要包含4个部分的内容：集合论、数理逻辑、图论方面的基础知识、代数系统集合论是整个数学的基础，也是计算机科学的基础，计算机科学领域中的大多数基本概念和理论采用集合论的有关术语来描述和论证。数理逻辑是通过研究形式化的推理系统来加强逻辑思维能力的训练。图论的基本知识则始终陪伴着每一位计算机工作者的职业生涯。代数系统通过研究代数系统和代数结构来训练更高层次的抽象思维能力，是计算思维的核心。

本课程主要培养学生的抽象思维和逻辑推理能力，使学生正确地理解概念，正确地使用概念进行推理，养成良好的思维习惯，理解理论与实践的关系，提高分析问题和解决问题的能力，提高数学修养及计算机科学素质。本课程的总目标是通过理论学习，培养学生的抽象思维和逻辑推理能力，为后继专业课及将来的科学研究提供必要的相关数学知识，为建立离散系统的数学模型提供数学描述工具，为分析和解决计算类复杂工程问题提供推理理论与方法。

本课程是全覆盖的计算机专业基础课程，一般在大一下学期开设。

前导课程：《高等数学》《线性代数》