离散数学 : 现代数学的一个分支.凡是以不连续(即离散)现象为研究对象的数学都属于离散数学.它的内容主要包括:组合数学、算法的理论与分析、编码理论、数理逻辑中的命题逻辑、谓词逻辑、集合代数、模糊集论;代数中的有限群论、环论、域论、格论和布尔代数、有限几何;微分方程中的计算理论;以及离散型概率等.离散数学的建立和形成与计算机科学的发展是密切相关的.随着现代科学技术的发展,特别是计算机的广泛应用,离散数学越来越受到重视,而且发展很快.