离散数学
离散数学
5000+ 人选课
更新日期:2025/05/05
开课时间2025/02/22 - 2025/06/30
课程周期19 周
开课状态开课中
每周学时-
课程简介

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

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

  《离散数学》课程于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 第四部分 图论小结