离散数学，现代数学的分支之一

发展

离散数学的发展在很大程度上受到计算机科学的影响，因此离散数学主要的应用领域也是计算机科学。其中的概念和理论已经成为计算机科学的基础内容，如图论应用于网络、操作系统和编译程序，集合论应用于软件工程和数据库，组合学应用于算法和复杂性分析，逻辑学运用于软件工程和人工智能，代数结构则用于计算机体系设计、程序语言理论和网络规范描述。反过来，计算机科学的发展也推进了离散数学的深入发展，并且延拓着其研究领域。

离散数学是传统的逻辑学，集合论（包括函数），数论基础，算法设计，组合分析，离散概率，关系理论，图论与树，抽象代数（包括代数系统，群、环、域等），布尔代数，计算模型（语言与自动机）等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域。

离散数学可以看成是构筑在数学和计算机科学之间的桥梁，因为离散数学既离不开集合论、图论等数学知识，又和计算机科学中的数据库理论、数据结构等相关，它可以引导人们进入计算机科学的思维领域，促进了计算机科学的发展。

研究内容

1．集合论部分：集合及其运算、二元关系与函数、自然数及自然数集、集合的基数。

2．图论部分：图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用。

3．代数结构部分：代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数。

4．组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理。

5．数理逻辑部分：命题逻辑、一阶谓词演算、消解原理。

离散数学被分成三门课程进行教学，即集合论与图论、代数结构与组合数学、数理逻辑。教学方式以课堂讲授为主，课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。