离散数学是研究离散量的结构和相互间的关系，是在抽象和理论的基础上提供的数学方法，是计算机科学中基础理论的核心课程。离散数学为许多后继课程（如数据结构、操作系统、数据库原理、软件工程、算法设计与分析、系统结构、网络原理）提供了必要的数学基础和工具。同时，离散数学为学生提高分析问题和解决问题的能力提供了一条有效的途径，从而为今后的学习和工作打下坚实的基础。

本课程主要包含4部分内容：集合论、数理逻辑、图论、代数系统。集合论是离散数学的基础，同时是计算机科学的基础，计算机科学领域中的大多数基本概念和理论采用集合论的有关术语描述和论证。数理逻辑是通过研究形式化的推理系统加强逻辑思维能力的培养，而代数系统是通过研究代数系统或代数结构培养更高层次的抽象思维能力，这两种能力是计算思维的核心。图论的基本知识是计算机工作者的必备基础知识。

学习离散数学有两项最基本的任务：其一是通过学习离散数学，使学生了解和掌握在后续课程中要直接用到的一些数学概念和基本原理，掌握计算机中常用的科学论证方法，为后续课程的学习奠定一个良好的数学基础，为分析和解决计算机类复杂工程问题提供推理理论和方法；其二是在离散数学的学习过程中，培训自学能力、抽象思维能力和逻辑推理能力，以提高专业理论水平。因此学习离散数学对于计算机、通信等专业后续课程的学习和今后从事计算机科学等工作是至关重要的。

本课程全面覆盖计算机专业及其相关专业基础课程，建议在大二上学期开设。

先修课程：《高等数学》、《线性代数》