离散数学

离散数学（英语：discrete mathematics），研究离散量的结构及相互关系的数学研究领域的总称。通常包括数理逻辑、组合数学、集合论、代数结构和图论等内容。也有人把整数理论、组合分析初步和自动机理论都作为离散数学的不可少的部分。实际上，上述内容分别属于不同的数学分支，各自从不同的角度研究各种离散量之间的关系。这些分支并非互相独立，它们之间有着密切的联系。离散数学不仅要介绍各分支的基本概念，同时也注重这些分支之间的相互关系。

离散数学像研究连续量的分析数学一样，立论严谨、高度抽象、推理严密。学习离散数学可以培养抽象思维和严格推理的能力。由于计算机能处理的基本数据大多是离散型的数量，离散数学自然成为计算机科学的理论基础。离散数学在计算机研究和软件、硬件开发的各个领域都有广泛的应用。随着计算机的发展，离散数学也变得越来越重要。现在几乎每个大学的计算机专业都将离散数学作为一门必修的基础课，但作为课程的离散数学涉及的内容则要狭小、基础得多。