离散数学的研究对象是离散量的结构和关系，是计算机科学的重要理论基础。本课程介绍离散数学中的数理逻辑、集合论和图论三大模块，帮助学生了解计算机相关学科中的数学理论，培养学生的思维能力和推理能力。