离散数学
离散数学(Discrete mathematics)是数学的几个分支的总称,研究基于离散空间而不 是连续的数学结构。与连续变化的实数不同,离散数学的研究对象——例如整数、图和数学逻辑中的命题——不是连续变化的,而是拥有不等、分立的值。 因此离散数学不包含微积分和分析等“连续数学”的内容。 随着计算机科学的飞速发展,离散数学的重要性则日益彰显。它为许多信息学课程提供了数学基础,包括数据结构、算法、数据库理论、形式语言与操作系统等。 如果没有离散数学的相关数学基础,学生在学习上述课程中,便会遇到较多的困难。此外,离散数学也包含了解决运筹学、化学、工程学、生物学等众多领域的数学背景。 由于运算对象是离散的,所以计算机科学的数学基础基本上也是离散的。我们可以说计算机科学的数学语言就是离散数学。 人们会使用离散数学里面的概念和表示方法,来研究和描述计算机科学下所有分支的对象和问题,如电脑运算、编程语言、密码学、自动定理证明和软件开发等。 相反地,计算机的应用使离散数学的概念得以应用于日常生活当中(如运筹学)。
课程学习内容
| 内容 | 课件 |
|---|---|
| 命题逻辑初步 | 命题逻辑初步 |
| 命题逻辑的推理理论 | 命题逻辑的推理理论 |
| 谓词逻辑引论 | 谓词逻辑引论 |
| 证明方法概述 | 证明方法概述 |
| 集合论导引 | 集合论导引 |
| 二元关系 | 二元关系 |
| 关系的性质 | 关系的性质 |
| 函数 | 函数 |
| 集合的基数 | 集合的基数 |
| 数学归纳法与递归结构 | 数学归纳法与递归结构 |
| 代数系统引论 | 代数系统引论 |
| 群论导引 | 群论导引 |
| 子群与群的分解 | 子群与群的分解 |
| 循环群与群同构 | 循环群与群同构 |
| 图论导引 | 图论导引 |
| 图的连通性 | 图的连通性 |
| 欧拉图与哈密顿图 | 欧拉图与哈密顿图 |
| 带权图与最短路 | 带权图与最短路 |
| 二部图及其匹配 | 二部图及其匹配 |
| 树 | 树 |
| 根树与二叉树 | 根树与二叉树 |
往年卷
| 年份 | 试卷 |
|---|---|
| 2024 | 2024期末 |
任课老师
吴楠老师
开设学院
人工智能学院