离散数学
离散数学
5000+ 人选课
更新日期:2026/03/23
开课时间2026/02/25 - 2026/06/28
课程周期18 周
开课状态开课中
每周学时-
课程简介

这门课会讲什么?

 《离散数学》是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。课程内容主要包括数理逻辑、集合与关系、代数系统、图论等四部分内容,其中数理逻辑部分主要讲解命题逻辑和谓词逻辑中的基本概念、范式、逻辑关系式间的关系和基本的逻辑推理方法;集合与关系部分主要介绍有关集合和关系(如相容、等价、偏序)、函数的基本概念和基本运算;代数系统部分主要介绍代数系统的基本概念、基本运算及群、环、域、格及其布尔格的基本概念及其基本运算;图论部分主要介绍图的基本概念、连通性、特殊图的基本性质及其应用。课程主要知识结构如下图所示:

  课程教学团队隶属国家级计算机软件基础课程教学团队,成员知识结构合理,教学经验丰富。团队注重教学内容和教学方法的改革与研究,基多年教学实践和经验,大力整合教学内容,吸收最新科研成果,强化课程教材和网络教学资源平台建设,建立了立体化的教学资源和模块化的课程体系;将网络教学与常规教学相结合,实践教学与科研项目相结合,虚拟实验与课程知识点相结合,构建了集课堂理论教学、课后线上答疑和虚拟仿真实验于一体的交互式教学模式。

  《离散数学》课程于2014年被评为甘肃省高等学校精品课程,2015年被评为甘肃省高等学校精品资源共享课程,2018年被评为甘肃省高等学校精品在线开放课程,2020年被甘肃省教育厅认定为省级线上一流课程。

“离散学堂”微信公众号

你将收获什么?

 《离散数学》课程学习强调逻辑性、抽象性,注重概念、方法及其应用。通过本课程逻辑推理、二元关系、代数结构及图论等基本概念、模型构建、算法设计等方面专门的研究、训练及应用,不仅为学生学习《数据结构》、《算法分析与设计》、《人工智能》、《数据库系统》等后续专业课程奠定坚实的数学理论基础,而且更加注重于学生的抽象思维能力、逻辑推理和创新能力的培养,提升其利用所学数学知识解决生活、生产实际中所遇复杂系统工程问题的能力,为将来从事信息学科理论研究和工程技术开发打下坚实的理论基础。

适合什么人学习?

  《离散数学》是计算机科学与技术、软件工程、物联网工程、网络工程等专业基础核心课程,也是通信工程、电子信息工程、电子科学与技术、自动化、电气工程及其自动化、轨道交通信号控制、交通运输、交通工程等专业必修课程。本课程适合于计算机类、电子信息类及交通运输类本科专业学生及研究生学习。

课程大纲

课程章节

  • 绪论
  • 命题逻辑
  • 谓词逻辑
  • 集合
  • 二元关系
  • 映射
  • 代数系统
  • 格与布尔代数
  • 图论

绪论

1.1 绪论

命题逻辑

2.1 命题及其表示

2.2 命题联结词

2.3 命题公式

2.4 命题公式等价

2.5 命题公式蕴含

2.6 命题公式的范式

2.7 主析取范式

2.8 主合取范式

2.9 推理理论

2.10 直接推理

2.11 间接推理

谓词逻辑

3.1 谓词与量词

3.2 谓词公式

3.3 约束变元与自由变元

3.4 等价与蕴含Ⅰ

3.5 等价与蕴含Ⅱ

3.6 谓词推理Ⅰ

3.7 谓词推理Ⅱ

3.8 第一部分 数理逻辑 小结

集合

4.1 集合的基本概念

4.2 集合的运算

4.3 序偶与笛卡尔积

4.4 覆盖与划分

二元关系

5.1 二元关系及其表示

5.2 二元关系的运算

5.3 关系的性质Ⅰ

5.4 关系的性质Ⅱ

5.5 关系的闭包

5.6 等价关系

5.7 相容关系

5.8 偏序关系

5.9 极元与最元

5.10 上下界及其确界

映射

6.1 映射及其分类

6.2 第二部分 集合与关系小结

代数系统

7.1 代数系统及性质

7.2 特殊元素

7.3 半群及群

7.4 阿贝尔群与循环群

7.5 同态与同构

7.6 环及其性质

7.7 整环及域

格与布尔代数

8.1 格及其性质

8.2 分配格及有界格

8.3 有补格及布尔格

8.4 布尔代数

8.5 布尔表达式

8.6 第三部分 代数系统及格 小结

图论

9.1 图的基本概念

9.2 结点的度

9.3 子图、补图及同构

9.4 路与回路

9.5 点割集与边割集

9.6 图的矩阵表示

9.7 欧拉图

9.8 欧拉图的应用

9.9 哈密尔顿图

9.10 平面图

9.11 对偶图

9.12 树及其最小生成树

9.13 有向树及根树

9.14 最优树及前缀码

9.15 第四部分 图论小结

App 下载
关注我们