研究离散变量相互关系和结构的数学理论的总称。包括集合论、数论、有限群论、组合数字、图论、数理逻辑、可行计算理论等。由于电子计算机对问题的描述和处理都是非连续性的，因此离散数学已成为研究计算机科学十分有力的工具，从而得到迅速的发展。