离散数学是现代数学的一个重要分支和计算机科学基础理论的核心学科，它充分描述了计算机科学离散性的特点，是随着计算机科学的发展而逐步建立起来的新兴基础学科。
离散数学研究对象是世间一切事物之间的关系。所采用的研究方法有数理逻辑、集合、代数、图论等。数理逻辑：计算机是数理逻辑和电子学相结合的产物；集合：一种重要的数据结构；关系：关系数据库的理论基础；函数：所有计算机语言中不可缺少的一部分；代数系统：计算机编码和纠错码理论，数字逻辑的设计基础、计算机使用的各种运算。图论;数据结构、操作系统、编译原理、计算机网络原理的基础。