跳转至

离散数学

离散数学(Discrete mathematics)是数学的几个分支的总称,研究基于离散空间而不 是连续的数学结构。与连续变化的实数不同,离散数学的研究对象——例如整数、图和数学逻辑中的命题——不是连续变化的,而是拥有不等、分立的值。 因此离散数学不包含微积分和分析等“连续数学”的内容。 随着计算机科学的飞速发展,离散数学的重要性则日益彰显。它为许多信息学课程提供了数学基础,包括数据结构、算法、数据库理论、形式语言与操作系统等。 如果没有离散数学的相关数学基础,学生在学习上述课程中,便会遇到较多的困难。此外,离散数学也包含了解决运筹学、化学、工程学、生物学等众多领域的数学背景。 由于运算对象是离散的,所以计算机科学的数学基础基本上也是离散的。我们可以说计算机科学的数学语言就是离散数学。 人们会使用离散数学里面的概念和表示方法,来研究和描述计算机科学下所有分支的对象和问题,如电脑运算、编程语言、密码学、自动定理证明和软件开发等。 相反地,计算机的应用使离散数学的概念得以应用于日常生活当中(如运筹学)。

课程学习内容

内容 课件
命题逻辑初步 命题逻辑初步
命题逻辑的推理理论 命题逻辑的推理理论
谓词逻辑引论 谓词逻辑引论
证明方法概述 证明方法概述
集合论导引 集合论导引
二元关系 二元关系
关系的性质 关系的性质
函数 函数
集合的基数 集合的基数
数学归纳法与递归结构 数学归纳法与递归结构
代数系统引论 代数系统引论
群论导引 群论导引
子群与群的分解 子群与群的分解
循环群与群同构 循环群与群同构
图论导引 图论导引
图的连通性 图的连通性
欧拉图与哈密顿图 欧拉图与哈密顿图
带权图与最短路 带权图与最短路
二部图及其匹配 二部图及其匹配
根树与二叉树 根树与二叉树

往年卷

年份 试卷
2024 2024期末

任课老师

吴楠老师

开设学院

人工智能学院