离散数学是一门数学学科，主要研究离散对象之间的关系，以及如何通过抽象和模型来分析、处理和表示这些关系。

它涉及到一系列抽象的概念，如集合、函数、图、树、表示法、结构和算法等，结合形式化的推理方法，将抽象的数学原理应用于现实生活中的各种问题。离散数学技术在计算机科学、信息科学、统计学、管理科学、决策理论、人工智能等领域都有广泛的应用。