个人介绍
离散数学 电子科技大学

主讲教师:王庆先,顾小丰,王丽杰

教师团队:共3

  • 王庆先
  • 顾小丰
  • 王丽杰
离散数学是一门理论兼实际应用的综合性学科,既具有严备的理论基础,又具备应用科学的特点。它是计算机科学和其他应用科学的基础理论课。在课堂教学中,不仅要求学生掌握离散数学的基本理论与方法,更重要的是强调离散数学课程的思想。 通过本课程学习,培养和训练学生的抽象的离散思维能力、严格的逻辑推理的能力,以及获取知识、应用知识和创新的能力;培养和训练学生的离散建模能力;培养和学生能有条理、明确和系统地描述问题、分析和求解问题的能力。通过本课程学习,使学生了解离散数学在计算机学科和日常生活中的作用,为学生今后处理离散信息以及用计算机处理大量的日常事物和科研项目,从事计算机科学和应用打下坚实基础,特别是对那些从事计算机科学与理论研究的高层次计算机人员来说,更是一门必不可少的基础理论工具。同时,提炼课程内容中的思政元素,培养学生正确的价值观、人生观以及精益求精的工匠精神。
学校: 电子科技大学
开课院系: 信息与软件工程学院(示范性软件学院)
开课专业: 计算机、软件工程等相关专业
课程负责人: 王庆先
课程英文名称: Discrete Mathematics
课程编号: dzkd001
学分: 4
课时: 0
课程章节 | 文件类型   | 修改时间 | 大小 | 备注
1.1 集合的基本概念
视频
.mp4
2025-02-18 16.81MB
 
文档
.pptx
2025-02-18 1.45MB
1.1.1 集合的表示
视频
.mp4
2024-12-13 16.81MB
1.1.2 集合与集合的关系
视频
.mp4
2024-12-13 26.14MB
1.1.3 几个特殊的集合
视频
.mp4
2024-12-13 23.67MB
1.2 集合的运算
视频
.mp4
2024-12-13 25.40MB
1.3.1 可数集合
视频
.mp4
2024-12-13 18.53MB
1.3.2 不可数集合
视频
.mp4
2024-12-13 22.32MB
1.4.1 集合的计算机表示
视频
.mp4
2024-12-13 14.48MB
1.4.2 计数问题
视频
.mp4
2024-12-23 12.63MB
2.1 命题与命题联结词
文档
.pptx
2025-02-18 3.80MB
2.1.1 命题
视频
.mp4
2025-02-18 11.54MB
2.1.2 命题联结词
视频
.mp4
2025-02-18 75.53MB
2.1.3 自然语言的命题符号化
视频
.mp4
2025-02-18 45.91MB
2.2.1 命题公式
视频
.mp4
2025-02-18 16.50MB
2.2.2 命题公式的解释与真值表
视频
.mp4
2025-02-18 34.36MB
2.2.3 命题公式的基本等价定律
视频
.mp4
2025-02-18 57.83MB
2.3.1 命题联结词的完备集
视频
.mp4
2025-02-18 23.37MB
2.3.2 析取范式和合取范式
视频
.mp4
2025-02-18 49.54MB
2.3.3 主合取范式和主析取范式
视频
.mp4
2025-02-18 124.80MB
2.4.1 推理的基本概念
视频
.mp4
2025-02-18 20.65MB
2.4.2 推理有效性的判别方法
视频
.mp4
2025-02-18 106.41MB
2.5.1 命题联结词的应用
视频
.mp4
2025-02-18 36.10MB
2.5.2 命题公式的应用
视频
.mp4
2025-02-18 14.15MB
2.5.3 范式的应用
视频
.mp4
2025-02-18 21.99MB
2.5.4 命题逻辑推理的应用
视频
.mp4
2025-02-18 34.63MB
3.1 自然语言的谓词符号化
文档
.pptx
2025-02-18 2.44MB
3.1.1 谓词
视频
.mp4
2025-02-18 39.07MB
3.1.2 量词
视频
.mp4
2025-02-18 69.19MB
3.2.1 谓词公式
视频
.mp4
2025-02-18 23.15MB
3.2.2 自由变元和约束变元
视频
.mp4
2025-02-18 39.85MB
3.2.3 谓词公式的解释
视频
.mp4
2025-02-18 56.94MB
3.2.4 谓词公式的基本等价定律
视频
.mp4
2025-02-18 58.39MB
3.3.1 前束范式
视频
.mp4
2025-02-18 13.45MB
3.3.2 Skolem范式
视频
.mp4
2025-02-18 10.62MB
3.4.1 推理规则与推理定律
视频
.mp4
2025-02-18 44.96MB
3.4.2 推理有效性的判别方法
视频
.mp4
2025-02-18 51.51MB
3.5 谓词逻辑的应用
视频
.mp4
2025-02-18 51.78MB
4.1 二元关系及其表示
文档
.pptx
2025-02-18 2.95MB
4.1.1 序偶和笛卡儿积
视频
.mp4
2025-02-18 38.68MB
4.1.2 关系的定义
视频
.mp4
2025-02-18 18.03MB
4.1.3 关系的表示法
视频
.mp4
2025-02-18 52.80MB
4.2.1 关系的复合运算
视频
.mp4
2025-02-18 44.35MB
4.2.2 关系的逆运算
视频
.mp4
2025-02-18 21.95MB
4.2.3 关系的幂运算
视频
.mp4
2025-02-18 34.41MB
4.3.1 关系性质的定义
视频
.mp4
2025-02-18 123.09MB
4.3.2 关系性质的判定定理
视频
.mp4
2025-02-18 37.72MB
4.3.3 关系性质的保守性
视频
.mp4
2025-02-18 30.00MB
4.4 关系的闭包
视频
.mp4
2025-02-18 53.01MB
4.5.1 二元关系及表示的应用
视频
.mp4
2025-02-18 27.61MB
4.5.2 关系运算的应用
视频
.mp4
2025-02-18 12.66MB
5.1 相容关系
文档
.pptx
2025-02-18 7.56MB
5.1.1 相容关系的定义
视频
.mp4
2025-02-18 8.72MB
5.1.2 集合的覆盖
视频
.mp4
2025-02-18 15.85MB
5.2.1 等价关系的定义
视频
.mp4
2025-02-18 25.51MB
5.2.2 集合的划分
视频
.mp4
2025-02-18 8.60MB
5.2.3 等价类与商集
视频
.mp4
2025-02-18 45.17MB
5.2.4 等价关系与划分
视频
.mp4
2025-02-18 21.56MB
5.3 次序关系
视频
.mp4
2025-02-18 6.20MB
5.3.1 拟序关系
视频
.mp4
2025-02-18 13.33MB
5.3.2 偏序关系
视频
.mp4
2025-02-18 96.64MB
5.3.3 全序关系
视频
.mp4
2025-02-18 12.81MB
5.3.4 良序关系
视频
.mp4
2025-02-18 6.07MB
5.4.1 函数的基本概念
视频
.mp4
2025-02-18 88.45MB
 
视频
.mp4
2025-02-18 32.89MB
 
视频
.mp4
2025-02-18 33.24MB
 
视频
.mp4
2025-02-18 11.49MB
 
视频
.mp4
2025-02-18 10.29MB
5.4.2 函数的运算
视频
.mp4
2025-02-18 29.25MB
 
视频
.mp4
2025-02-18 20.54MB
5.5.1 等价关系的应用
视频
.mp4
2025-02-18 13.72MB
5.5.2 次序关系的应用
视频
.mp4
2025-02-18 19.13MB
5.5.3 函数的应用
视频
.mp4
2025-02-18 28.96MB
6.1 图的基本概念
文档
.pptx
2025-02-18 1007.90KB
6.1.1 图的定义
视频
.mp4
2025-02-18 62.64MB
6.1.2 图的表示
视频
.mp4
2025-02-18 117.05MB
6.1.3 图的操作
视频
.mp4
2025-02-18 53.39MB
6.1.4 邻接点与邻接边
视频
.mp4
2025-02-18 74.22MB
6.1.5 图的分类
视频
.mp4
2025-02-18 132.22MB
6.1.6 子图与补图
视频
.mp4
2025-02-18 126.70MB
 
视频
.mp4
2025-02-18 24.56MB
6.2 握手定理
视频
.mp4
2025-02-18 71.25MB
 
视频
.mp4
2025-02-18 91.86MB
6.3 图的同构
视频
.mp4
2025-02-18 65.55MB
6.4.1 通路与回路的概念
视频
.mp4
2025-02-18 106.08MB
6.4.2 通路与回路的计算
视频
.mp4
2025-02-18 82.43MB
 
视频
.mp4
2025-02-18 40.68MB
6.4.3 可达与距离
视频
.mp4
2025-02-18 39.49MB
 
视频
.mp4
2025-02-18 164.24MB
6.4.4 无向赋权图的最短通路
视频
.mp4
2025-02-18 9.89MB
 
视频
.mp4
2025-02-18 88.14MB
 
视频
.mp4
2025-02-18 4.55MB
 
视频
.mp4
2025-02-18 44.83MB
6.5.1 无向图的连通性
视频
.mp4
2025-02-18 10.42MB
6.5.2 有向图的连通性
视频
.mp4
2025-02-18 79.22MB
 
视频
.mp4
2025-02-18 81.56MB
 
视频
.mp4
2025-02-18 33.15MB
 
视频
.mp4
2025-02-18 33.02MB
7.1 树
文档
.pptx
2025-02-18 1023.80KB
7.1.1 树的基本概念及性质
视频
.mp4
2025-02-18 52.47MB
7.1.2 生成树及算法
视频
.mp4
2025-02-18 59.01MB
7.2.1 根树的定义与分类
视频
.mp4
2025-02-18 79.75MB
7.2.3 最优树与哈夫曼算法
视频
.mp4
2025-02-18 42.52MB
7.3.1 欧拉图的引入与定义
视频
.mp4
2025-02-18 21.01MB
7.3.2 欧拉图的判定
视频
.mp4
2025-02-18 45.71MB
7.4.1 哈密顿图的引入与定义
视频
.mp4
2025-02-18 25.61MB
7.4.2 哈密顿图的判定
视频
.mp4
2025-02-18 43.37MB
7.5.1 偶图的定义
视频
.mp4
2025-02-18 23.38MB
7.5.2 偶图的判定
视频
.mp4
2025-02-18 21.89MB
7.5.3 匹配
视频
.mp4
2025-02-18 32.80MB
7.6.1 平面图的定义
视频
.mp4
2025-02-18 14.92MB
7.6.2 平面图的简单判定方法——观察法
视频
.mp4
2025-02-18 6.21MB
7.6.3 欧拉公式
视频
.mp4
2025-02-18 59.39MB
7.6.4 库拉托夫斯基定理
视频
.mp4
2025-02-18 14.39MB
8.1 代数系统
文档
.pptx
2025-02-18 5.85MB
8.1.1 代数运算
视频
.mp4
2025-02-18 21.18MB
8.1.2 代数系统与子代数
视频
.mp4
2025-02-18 21.77MB
8.2.1 二元运算律
视频
.mp4
2025-02-18 58.97MB
8.2.2 二元运算的特殊元
视频
.mp4
2025-02-18 97.00MB
8.3.1 同态与同构的定义
视频
.mp4
2025-02-18 28.72MB
8.3.2 同态的性质
视频
.mp4
2025-02-18 14.53MB
9.1 群的基本概念
文档
.pptx
2025-02-18 10.92MB
9.1.1 群的定义及基本性质
视频
.mp4
2025-02-18 65.58MB
9.1.2 元素的阶
视频
.mp4
2025-02-18 43.69MB
9.1.3 子群
视频
.mp4
2025-02-18 52.32MB
9.1.4 群的同态和同构
视频
.mp4
2025-02-18 25.42MB
9.2.1 循环群
视频
.mp4
2025-02-18 55.59MB
9.2.2 置换群
视频
.mp4
2025-02-18 82.50MB
9.3.1 陪集
视频
.mp4
2025-02-18 34.28MB
9.3.2 拉格朗日定理
视频
.mp4
2025-02-18 20.72MB
9.4.1 正规子群
视频
.mp4
2025-02-18 26.93MB
9.4.2 商群
视频
.mp4
2025-02-18 52.98MB
9.5.1 环和域的定义
视频
.mp4
2025-02-18 49.02MB
9.5.2 子环、理想和商环
视频
.mp4
2025-02-18 28.18MB
9.5.3 环的同态和同构
视频
.mp4
2025-02-18 23.92MB
9.6.1 计数问题
文档
.pptx
2025-02-18 3.60MB
10.1.1 格的定义
视频
.mp4
2025-02-18 79.35MB
10.1.2 格的性质
视频
.mp4
2025-02-18 27.17MB
10.2.1 子格和理想
视频
.mp4
2025-02-18 14.36MB
10.2.2 格同态
视频
.mp4
2025-02-18 4.59MB
10.3.1 分配格与模格
视频
.mp4
2025-02-18 28.87MB
10.3.2 有界格与有补格
视频
.mp4
2025-02-18 33.66MB
10.4 布尔代数
视频
.mp4
2025-02-18 8.84MB

王庆先

职称:教授

单位:电子科技大学

部门:信息与软件工程学院(示范性软件学院)

顾小丰

职称:高级工程师

单位:电子科技大学

部门:信息与软件工程学院

王丽杰

职称:副教授

单位:电子科技大学

部门:计算机科学与工程学院

提示框
取消 进入课程
提示框
确定要报名此课程吗?
确定取消

京ICP备10040544号-2

京公网安备 11010802021885号