爱课程

课程介绍

离散数学是现代数学的一个重要分支，是计算机科学中的基础理论，在计算机科学与技术及相关领域有着广泛的应用。它是计算机科学与技术及相关专业的一门核心基础课程，是许多其他后续课程，如数字电路、程序设计语言、数据结构、数据库、算法设计与分析、编译原理、操作系统、软件工程、计算机组成原理、人工智能、计算机网络、密码学等必不可少的先行课程。本课程是我校计算机科学与技术、信息管理与信息系统、信息安全、软件工程、...

教学单元

第1章集合
- 01-01
  集合的概念及表示
- 01-02
  特殊集合
- 01-03
  集合的运算
- 01-04
  计数问题
第2章关系
- 02-01
  关系的定义与表示
- 02-02
  关系的性质
- 02-03
  关系的运算
- 02-04
  特殊关系
第3章函数
- 03-01
  函数的概念
- 03-02
  函数的运算
第4章抽象代数
- 04-01
  代数系统的基本概念
- 04-02
  代数运算的性质
- 04-03
  相互联系的代数系统
第5章典型的代数系统
- 05-01
  半群和群
- 05-02
  循环群与置换群
- 05-03
  正规子群
- 05-04
  格
- 05-05
  布尔代数
第6章图
- 06-01
  图的概念
- 06-02
  赋权图
- 06-03
  欧拉图
- 06-04
  哈密顿图
- 06-05
  二部图
- 06-06
  平面图
第7章树
- 07-01
  无向树
- 07-02
  有向树
第8章命题逻辑
- 08-01
  命题逻辑的基本概念
- 08-02
  命题逻辑公式
- 08-03
  命题逻辑推理
第9章谓词逻辑
- 09-01
  谓词逻辑的基本概念
- 09-02
  谓词逻辑公式
- 09-03
  谓词逻辑推理
- 09-04
  总复习