本课程是计算机专业的专业基础课，以理论传授为主，使学生通过本课程的学习后，能全面掌握集合论、数理逻辑、图论等离散数学三个主要模块的相关知识，为后续专业课程提供必要的数学理论基础，并提高学生的空间想象能力、逻辑推理能力、以及抽象思维能力。