职称:教授
单位:电子科技大学
部门:信息与软件工程学院(示范性软件学院)
主讲教师:王庆先,顾小丰,王丽杰
教师团队:共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 |