离散数学研究基于离散量的结构和相互间的关系，是计算机专业重要基础课程之一，也是后续许多课程（如数据结构、编译原理、程序设计、操作系统、算法设计与分析、形式语言与自动机、数据库原理和人工智能等）的先修课。主要内容包括数理逻辑、集合论、代数结构、组合数学、图论和初等数论等。