职称:讲师
主讲教师:山瑞平
教师团队:共5位
学校: | 山西农业大学 |
开课院系: | 软件学院 |
学分: | 4 |
课时: | 64 |
离散数学是软件工程专业的核心课程。它以研究离散量的结构和相互之间关系为主要目标,其研究对象一般是有限个或可数个元素,因此它充分描述了计算机科学离散性的特点。本课程在教给学生离散问题建模、计算机求解方法和技术知识的同时,培养学生的数学抽象能力与严谨的逻辑推理能力。通过本课程的学习,不仅使学生掌握进一步学习其他课程所必须的离散数学知识,而且可增强学生使用离散知识进行分析问题与解决实际问题的能力。
课程章节 | | 文件类型 | | 修改时间 | | 大小 | | 备注 | |
1.1 课程介绍、第一章引入、命题及其表示法 |
.work
|
2024-04-23 | -- | ||
.mp4
|
2024-04-23 | 90.35MB | |||
.mp4
|
2024-04-23 | 196.81MB | |||
.pdf
|
2024-04-23 | 8.00MB | |||
.pdf
|
2024-04-23 | 7.63MB | |||
1.2 联结词 |
.mp4
|
2024-04-23 | 275.54MB | ||
.pdf
|
2024-04-23 | 8.31MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
1.3 命题公式与翻译 |
.mp4
|
2024-04-23 | 188.71MB | ||
.pdf
|
2024-04-23 | 7.59MB | |||
.work
|
2024-04-23 | -- | |||
1.4.1 真值表的构造方法 |
.mp4
|
2024-04-23 | 140.24MB | ||
.pdf
|
2024-04-23 | 7.65MB | |||
.work
|
2024-04-23 | -- | |||
1.4.1.1 真值表 |
.mp4
|
2024-04-23 | 68.17MB | ||
.ppt
|
2024-04-23 | 6.73MB | |||
.work
|
2024-04-23 | -- | |||
1.4.2 真值表的应用 |
.mp4
|
2024-04-23 | 87.70MB | ||
.pdf
|
2024-04-23 | 7.57MB | |||
1.4.3 等价公式及真值表证法 |
.mp4
|
2024-04-23 | 135.95MB | ||
.pdf
|
2024-04-23 | 7.60MB | |||
.work
|
2024-04-23 | -- | |||
1.4.4 等值演算证明等价公式 |
.mp4
|
2024-04-23 | 116.62MB | ||
.pdf
|
2024-04-23 | 7.58MB | |||
.work
|
2024-04-23 | -- | |||
1.4.5 等价公式应用 |
.mp4
|
2024-04-23 | 59.83MB | ||
.pdf
|
2024-04-23 | 7.59MB | |||
.work
|
2024-04-23 | -- | |||
1.5.1 命题公式的类型及两种判定方法 |
.mp4
|
2024-04-23 | 159.55MB | ||
.pdf
|
2024-04-23 | 7.59MB | |||
.work
|
2024-04-23 | -- | |||
1.5.2 蕴含式及三种证明方法 |
.mp4
|
2024-04-23 | 170.31MB | ||
.pdf
|
2024-04-23 | 7.59MB | |||
.work
|
2024-04-23 | -- | |||
1.6 其他联结词 |
.mp4
|
2024-04-23 | 144.12MB | ||
.pdf
|
2024-04-23 | 7.62MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
1.7.1 命题公式的析取与合取范式 |
.mp4
|
2024-04-23 | 164.39MB | ||
.pdf
|
2024-04-23 | 7.60MB | |||
.work
|
2024-04-23 | -- | |||
1.7.2 命题公式的主析取范式 |
.mp4
|
2024-04-23 | 161.67MB | ||
.pdf
|
2024-04-23 | 7.61MB | |||
.work
|
2024-04-23 | -- | |||
1.7.3 命题公式的主析取范式的两种求法 |
.mp4
|
2024-04-23 | 129.52MB | ||
.pdf
|
2024-04-23 | 7.59MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
1.7.4 命题公式的主合取范式 |
.mp4
|
2024-04-23 | 156.47MB | ||
.pdf
|
2024-04-23 | 7.61MB | |||
.work
|
2024-04-23 | -- | |||
1.7.5 命题公式的主合取范式的两种求法 |
.pdf
|
2024-04-23 | 7.59MB | ||
.mp4
|
2024-04-23 | 214.00MB | |||
.work
|
2024-04-23 | -- | |||
1.7.6 主析取范式和主合取范式的应用 |
.mp4
|
2024-04-23 | 165.80MB | ||
.pdf
|
2024-04-23 | 7.62MB | |||
.work
|
2024-04-23 | -- | |||
1.8.1 有效论证与真值表法 |
.pdf
|
2024-04-23 | 7.58MB | ||
.mp4
|
2024-04-23 | 144.12MB | |||
.work
|
2024-04-23 | -- | |||
1.8.2 直接证法 |
.mp4
|
2024-04-23 | 248.18MB | ||
.pdf
|
2024-04-23 | 7.60MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
1.8.3 间接证法-归谬法 |
.mp4
|
2024-04-23 | 87.14MB | ||
.pdf
|
2024-04-23 | 7.57MB | |||
.work
|
2024-04-23 | -- | |||
1.8.4 间接证法-附加前提证明法 |
.mp4
|
2024-04-23 | 144.93MB | ||
.pdf
|
2024-04-23 | 7.58MB | |||
.work
|
2024-04-23 | -- | |||
1.9 应用 |
.pdf
|
2024-04-23 | 7.56MB | ||
.mp4
|
2024-04-23 | 96.61MB | |||
.work
|
2024-04-23 | -- | |||
2.1 谓词的概念与表述 |
.mp4
|
2024-04-23 | 5.90MB | ||
.pdf
|
2024-04-23 | 217.47KB | |||
.mp4
|
2024-04-23 | 18.16MB | |||
.pdf
|
2024-04-23 | 268.48KB | |||
2.2 命题函数与量词 |
.mp4
|
2024-04-23 | 26.81MB | ||
.pdf
|
2024-04-23 | 307.00KB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
2.3 谓词公式与翻译 |
.pdf
|
2024-04-23 | 209.26KB | ||
.mp4
|
2024-04-23 | 26.84MB | |||
2.4 变元的约束 |
.pdf
|
2024-04-23 | 350.19KB | ||
.mp4
|
2024-04-23 | 88.90MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
2.5.1 谓词公式的等价定义和谓词公式的分类 |
.mp4
|
2024-04-23 | 34.09MB | ||
.pdf
|
2024-04-23 | 267.99KB | |||
2.5.2 命题公式的等价式和蕴含式在谓词公式的推广 |
.mp4
|
2024-04-23 | 20.44MB | ||
.pdf
|
2024-04-23 | 260.92KB | |||
2.5.3 量词与否定联结词的关系 |
.mp4
|
2024-04-23 | 10.55MB | ||
.pdf
|
2024-04-23 | 237.05KB | |||
2.5.4 量词作用域的扩张与收缩 |
.mp4
|
2024-04-23 | 20.61MB | ||
.pdf
|
2024-04-23 | 210.83KB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
2.5.5 量词与命题联结词的等价式和蕴含式 |
.mp4
|
2024-04-23 | 45.92MB | ||
.pdf
|
2024-04-23 | 264.84KB | |||
2.5.6 多个量词的使用 |
.mp4
|
2024-04-23 | 19.60MB | ||
.pdf
|
2024-04-23 | 233.01KB | |||
.work
|
2024-04-23 | -- | |||
2.6.1 前束范式的定义及求法 |
.mp4
|
2024-04-23 | 18.73MB | ||
.pdf
|
2024-04-23 | 225.47KB | |||
.work
|
2024-04-23 | -- | |||
2.6.2 前束范式练习讲解 |
.mp4
|
2024-04-23 | 21.87MB | ||
.pdf
|
2024-04-23 | 177.26KB | |||
.work
|
2024-04-23 | -- | |||
2.7.1 量词的消去和添加规则 |
.mp4
|
2024-04-23 | 52.66MB | ||
.pdf
|
2024-04-23 | 259.68KB | |||
2.7.2 谓词推理的直接法和间接法 |
.mp4
|
2024-04-23 | 26.90MB | ||
.pdf
|
2024-04-23 | 199.94KB | |||
2.7.3 谓词推理的应用 |
.mp4
|
2024-04-23 | 21.57MB | ||
.pdf
|
2024-04-23 | 219.97KB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
3.1.1 集合、元素的概念与表示 |
.pdf
|
2024-04-23 | 441.71KB | ||
.mp4
|
2024-04-23 | 132.80MB | |||
3.1.2 集合相等 |
.pdf
|
2024-04-23 | 354.51KB | ||
.mp4
|
2024-04-23 | 125.46MB | |||
3.1.3 空集 |
.pdf
|
2024-04-23 | 312.54KB | ||
.mp4
|
2024-04-23 | 50.07MB | |||
3.1.4 幂集 |
.pdf
|
2024-04-23 | 341.49KB | ||
.mp4
|
2024-04-23 | 112.23MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
3.2.1 交 |
.mp4
|
2024-04-23 | 111.26MB | ||
.pdf
|
2024-04-23 | 412.80KB | |||
3.2.2 并 |
.mp4
|
2024-04-23 | 103.45MB | ||
.pdf
|
2024-04-23 | 398.69KB | |||
3.2.3 补 |
.mp4
|
2024-04-23 | 206.98MB | ||
.pdf
|
2024-04-23 | 421.81KB | |||
3.2.4 对称差 |
.mp4
|
2024-04-23 | 76.96MB | ||
.pdf
|
2024-04-23 | 374.11KB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
3.3.1 序偶 |
.mp4
|
2024-04-23 | 97.90MB | ||
.pdf
|
2024-04-23 | 331.86KB | |||
3.3.2 笛卡尔积 |
.mp4
|
2024-04-23 | 97.30MB | ||
.pdf
|
2024-04-23 | 329.17KB | |||
3.3.3 笛卡尔积的性质 |
.mp4
|
2024-04-23 | 144.59MB | ||
.pdf
|
2024-04-23 | 402.77KB | |||
3.4.1 二元关系的概念 |
.mp4
|
2024-04-23 | 78.42MB | ||
.pdf
|
2024-04-23 | 333.75KB | |||
3.4.2 从集合A到集合B的二元关系 |
.mp4
|
2024-04-23 | 175.55MB | ||
.pdf
|
2024-04-23 | 433.66KB | |||
3.4.3 关系的表示 |
.mp4
|
2024-04-23 | 131.99MB | ||
.pdf
|
2024-04-23 | 363.08KB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
3.5.1 自反性和反自反性 |
.mp4
|
2024-04-23 | 245.09MB | ||
.pdf
|
2024-04-23 | 449.07KB | |||
3.5.2 对称性和反对称性 |
.mp4
|
2024-04-23 | 138.73MB | ||
.pdf
|
2024-04-23 | 382.89KB | |||
3.5.3 传递性 |
.mp4
|
2024-04-23 | 64.20MB | ||
.pdf
|
2024-04-23 | 421.71KB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
3.6.1 关系的复合运算 |
.pdf
|
2024-04-23 | 337.23KB | ||
.mp4
|
2024-04-23 | 51.99MB | |||
3.6.2 关系的逆运算 |
.pdf
|
2024-04-23 | 184.31KB | ||
.mp4
|
2024-04-23 | 39.67MB | |||
3.6.3 关系的性质 |
.pdf
|
2024-04-23 | 214.21KB | ||
.mp4
|
2024-04-23 | 31.62MB | |||
3.6.4 关系的幂运算 |
.pdf
|
2024-04-23 | 268.19KB | ||
.mp4
|
2024-04-23 | 40.61MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
3.7.1 闭包的运算 |
.pdf
|
2024-04-23 | 469.78KB | ||
.mp4
|
2024-04-23 | 72.39MB | |||
3.7.2 闭包的性质 |
.pdf
|
2024-04-23 | 127.48KB | ||
.mp4
|
2024-04-23 | 23.35MB | |||
3.8 集合的划分和覆盖 |
.pdf
|
2024-04-23 | 186.77KB | ||
.mp4
|
2024-04-23 | 47.23MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
3.9.1 等价关系 |
.pdf
|
2024-04-23 | 264.90KB | ||
.mp4
|
2024-04-23 | 30.65MB | |||
3.9.2 等价类 |
.pdf
|
2024-04-23 | 278.10KB | ||
.mp4
|
2024-04-23 | 40.26MB | |||
3.9.3 商集 |
.pdf
|
2024-04-23 | 315.28KB | ||
.mp4
|
2024-04-23 | 54.32MB | |||
3.10.1 相容关系 |
.pdf
|
2024-04-23 | 250.45KB | ||
.mp4
|
2024-04-23 | 29.91MB | |||
3.10.2 相容类 |
.pdf
|
2024-04-23 | 291.76KB | ||
.mp4
|
2024-04-23 | 60.40MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
3.11.1 偏序关系 |
.pdf
|
2024-04-23 | 306.31KB | ||
.mp4
|
2024-04-23 | 50.19MB | |||
3.11.2 哈斯图 |
.pdf
|
2024-04-23 | 243.51KB | ||
.mp4
|
2024-04-23 | 34.10MB | |||
3.11.3 特殊元素 |
.pptx
|
2024-04-23 | 96.87KB | ||
.mp4
|
2024-04-23 | 54.17MB | |||
.pdf
|
2024-04-23 | 250.29KB | |||
.mp4
|
2024-04-23 | 51.24MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
4.1.1 什么是函数 |
.mp4
|
2024-04-23 | 185.19MB | ||
.pdf
|
2024-04-23 | 446.34KB | |||
4.1.2 函数相等和函数表示 |
.mp4
|
2024-04-23 | 92.05MB | ||
.pdf
|
2024-04-23 | 318.62KB | |||
4.1.3 满射、入射和双射 |
.mp4
|
2024-04-23 | 158.84MB | ||
.pdf
|
2024-04-23 | 414.93KB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
4.2.1 逆函数 |
.mp4
|
2024-04-23 | 105.28MB | ||
.pdf
|
2024-04-23 | 341.75KB | |||
4.2.2 复合函数 |
.mp4
|
2024-04-23 | 191.15MB | ||
.pdf
|
2024-04-23 | 442.26KB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
5.1 代数结构的引入 |
.pdf
|
2024-04-23 | 514.61KB | ||
.mp4
|
2024-04-23 | 55.49MB | |||
5.2.1 交换性 |
.pdf
|
2024-04-23 | 233.53KB | ||
.mp4
|
2024-04-23 | 18.57MB | |||
5.2.2 结合性 |
.pdf
|
2024-04-23 | 151.54KB | ||
.mp4
|
2024-04-23 | 17.80MB | |||
5.2.3 幂等性 |
.pdf
|
2024-04-23 | 172.35KB | ||
.mp4
|
2024-04-23 | 13.64MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
5.2.4 分配性 |
.pdf
|
2024-04-23 | 223.70KB | ||
.mp4
|
2024-04-23 | 32.13MB | |||
5.2.5 吸收性 |
.pdf
|
2024-04-23 | 143.73KB | ||
.mp4
|
2024-04-23 | 19.08MB | |||
5.2.6 幺元 |
.pdf
|
2024-04-23 | 306.56KB | ||
.mp4
|
2024-04-23 | 63.25MB | |||
5.2.7 零元 |
.pdf
|
2024-04-23 | 319.13KB | ||
.mp4
|
2024-04-23 | 59.62MB | |||
5.2.8 逆元 |
.pdf
|
2024-04-23 | 265.04KB | ||
.mp4
|
2024-04-23 | 64.81MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
7.1.1 图的定义 |
.pptx
|
2024-04-23 | 91.34KB | ||
.mp4
|
2024-04-23 | 9.58MB | |||
.pptx
|
2024-04-23 | 209.21KB | |||
.mp4
|
2024-04-23 | 11.02MB | |||
7.1.2 结点的度数 |
.pptx
|
2024-04-23 | 147.50KB | ||
.mp4
|
2024-04-23 | 12.35MB | |||
7.1.3 图的分类 |
.pptx
|
2024-04-23 | 295.59KB | ||
.mp4
|
2024-04-23 | 14.99MB | |||
7.1.4 图的同构 |
.pptx
|
2024-04-23 | 181.63KB | ||
.mp4
|
2024-04-23 | 7.86MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
7.2.1 路与回路 |
.pptx
|
2024-04-23 | 116.34KB | ||
.mp4
|
2024-04-23 | 12.66MB | |||
7.2.2 无向连通图 |
.mp4
|
2024-04-23 | 10.54MB | ||
.pptx
|
2024-04-23 | 121.07KB | |||
7.2.3 点割集和边割集 |
.pptx
|
2024-04-23 | 131.13KB | ||
.mp4
|
2024-04-23 | 26.93MB | |||
7.2.4 有向连通图 |
.pptx
|
2024-04-23 | 97.87KB | ||
.mp4
|
2024-04-23 | 15.85MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
7.3.1 邻接矩阵 |
.pptx
|
2024-04-23 | 345.06KB | ||
.mp4
|
2024-04-23 | 25.65MB | |||
7.3.2 可达性矩阵 |
.pptx
|
2024-04-23 | 105.75KB | ||
.mp4
|
2024-04-23 | 7.45MB | |||
7.3.3 完全关联矩阵 |
.pptx
|
2024-04-23 | 267.18KB | ||
.mp4
|
2024-04-23 | 11.23MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
7.4.1 欧拉图 |
.pptx
|
2024-04-23 | 295.88KB | ||
.mp4
|
2024-04-23 | 27.85MB | |||
7.4.2 汉密尔顿图 |
.pptx
|
2024-04-23 | 325.23KB | ||
.mp4
|
2024-04-23 | 18.59MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
7.5 平面图 |
.pptx
|
2024-04-23 | 349.58KB | ||
.mp4
|
2024-04-23 | 23.21MB | |||
7.6 对偶图与着色 |
.pptx
|
2024-04-23 | 118.29KB | ||
.mp4
|
2024-04-23 | 21.48MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
7.7.1 树 |
.pptx
|
2024-04-23 | 129.16KB | ||
.mp4
|
2024-04-23 | 11.84MB | |||
7.7.2 生成树 |
.pptx
|
2024-04-23 | 156.23KB | ||
.mp4
|
2024-04-23 | 8.85MB | |||
7.7.3 最小生成树 |
.pptx
|
2024-04-23 | 212.54KB | ||
.mp4
|
2024-04-23 | 12.39MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- | |||
7.8.1 有向树 |
.pptx
|
2024-04-23 | 188.93KB | ||
.mp4
|
2024-04-23 | 8.78MB | |||
7.8.2 m叉树 |
.pptx
|
2024-04-23 | 170.40KB | ||
.mp4
|
2024-04-23 | 10.22MB | |||
7.8.3 最优树 |
.pptx
|
2024-04-23 | 356.60KB | ||
.mp4
|
2024-04-23 | 14.21MB | |||
7.8.4 前缀码 |
.pptx
|
2024-04-23 | 109.84KB | ||
.mp4
|
2024-04-23 | 17.28MB | |||
.work
|
2024-04-23 | -- | |||
.work
|
2024-04-23 | -- |