马英红 教授
单位：山东师范大学
部门：商学院
职位：教务处副处长
◆
◆
个人介绍
离散数学
主讲教师：马英红
教师团队：共3位
- 马英红
- 由雪梅
- 王强
| 学校： | 山东师范大学 |
本课程的研究对象是离散量的结构及相互关系，内容包括数理逻辑、集合论、代数结构、图论四个部分。通过本课程的学习，使学生具有现代数学的观点和方法，并初步掌握处理离散问题所必须的描述工具和方法，培养学生抽象思维能力和分析问题、解决问题的能力，并为学好后继专业课打好基础。
教师团队
课程评价
教学资源
| 课程章节 | | 文件类型 | | 修改时间 | | 大小 | | 备注 | |
| 1.2 命题与联结词 |
视频
.mp4
|
2022-11-27 | 465.15MB | ||
| 1.3 命题公式及其赋值 |
视频
.mp4
|
2022-11-27 | 354.87MB | ||
| 1.4 习题1 |
作业
.work
|
2022-11-27 | -- | ||
| 2.2 等值式 |
视频
.mp4
|
2022-11-27 | 363.23MB | ||
| 2.3 析取范式与合取范式 |
视频
.mp4
|
2022-11-27 | 445.85MB | ||
| 2.4 析取范式与合取范式2 |
视频
.mp4
|
2022-11-27 | 261.98MB | ||
| 2.5 联结词的完备集 |
视频
.mp4
|
2022-11-27 | 263.97MB | ||
| 2.6 可满足性问题与消解法 |
视频
.mp4
|
2022-11-27 | 302.28MB | ||
| 2.7 习题2 |
作业
.work
|
2022-11-27 | -- | ||
| 3.2 推理的形式结构 |
视频
.mp4
|
2022-11-27 | 187.87MB | ||
| 3.3 自然推理系统P |
视频
.mp4
|
2022-11-27 | 264.81MB | ||
| 3.5 习题3 |
作业
.work
|
2022-11-27 | -- | ||
| 4.2 一阶逻辑命题符号化 |
视频
.mp4
|
2022-11-27 | 367.33MB | ||
| 4.3 一阶逻辑公式及其解释 |
视频
.mp4
|
2022-11-27 | 395.33MB | ||
| 4.4 习题4 |
作业
.work
|
2022-11-27 | -- | ||
| 5.2 一阶逻辑等值式与置换规则 |
视频
.mp4
|
2022-11-27 | 460.69MB | ||
| 5.3 一阶逻辑前束范式 |
视频
.mp4
|
2022-11-27 | 422.81MB | ||
| 5.4 一阶逻辑的推理理论 |
视频
.mp4
|
2022-11-27 | 459.89MB | ||
| 5.5 习题5 |
作业
.work
|
2022-11-27 | -- | ||
| 6.2 集合的基本概念 |
视频
.mp4
|
2022-11-27 | 477.06MB | ||
| 7.2 有序对与笛卡儿积 |
视频
.mp4
|
2022-11-27 | 467.19MB | ||
| 7.3 二元关系 |
视频
.mp4
|
2022-11-27 | 472.53MB | ||
| 7.4 关系的运算 |
视频
.mp4
|
2022-11-27 | 453.21MB | ||
| 7.5 关系的性质 |
视频
.mp4
|
2022-11-27 | 478.70MB | ||
|
视频
.mp4
|
2022-11-27 | 433.99MB | |||
| 7.6 关系的闭包 |
视频
.mp4
|
2022-11-27 | 401.77MB | ||
| 7.7 等价关系与划分 |
视频
.mp4
|
2022-11-27 | 453.80MB | ||
| 7.8 偏序关系 |
视频
.mp4
|
2022-11-27 | 362.66MB | ||
| 7.9 习题7 |
作业
.work
|
2022-11-27 | -- | ||
| 8.2 函数的定义 |
视频
.mp4
|
2022-11-27 | 353.51MB | ||
| 8.3 函数的性质 |
视频
.mp4
|
2022-11-27 | 336.33MB | ||
| 8.4 函数的复合 |
视频
.mp4
|
2022-11-27 | 402.12MB | ||
| 8.5 函数的反函数 |
视频
.mp4
|
2022-11-27 | 258.36MB | ||
| 8.6 双射函数与集合的基数 |
视频
.mp4
|
2022-11-27 | 511.89MB | ||
| 8.8 习题8 |
作业
.work
|
2022-11-27 | -- | ||
| 9.2 代数系统 |
视频
.mp4
|
2022-11-27 | 484.89MB | ||
| 9.3 二元运算及其性质 1 |
视频
.mp4
|
2022-11-27 | 486.61MB | ||
| 9.4 二元运算及其性质 2 |
视频
.mp4
|
2022-11-27 | 412.06MB | ||
| 9.5 代数系统的同态与同构一 上 |
视频
.mp4
|
2022-11-27 | 261.09MB | ||
| 9.6 代数系统的同态与同构一 下 |
视频
.mp4
|
2022-11-27 | 273.26MB | ||
| 9.7 代数系统的同态与同构二 |
视频
.mp4
|
2022-11-27 | 446.46MB | ||
| 9.8 同余关系 |
视频
.mp4
|
2022-11-27 | 449.33MB | ||
| 9.9 习题9 |
作业
.work
|
2022-11-27 | -- | ||
| 10.2 群的定义与性质 |
视频
.mp4
|
2022-11-27 | 422.52MB | ||
| 10.3 半群 |
视频
.mp4
|
2022-11-27 | 339.64MB | ||
| 10.4 子群及其证明 |
视频
.mp4
|
2022-11-27 | 488.21MB | ||
| 10.5 子群与群的陪集分解 一 |
视频
.mp4
|
2022-11-27 | 385.93MB | ||
| 10.6 子群与群的陪集分解 二 |
视频
.mp4
|
2022-11-27 | 299.79MB | ||
| 10.7 循环圈与置换群 一 |
视频
.mp4
|
2022-11-27 | 425.11MB | ||
| 10.8 循环圈与置换群 二 |
视频
.mp4
|
2022-11-27 | 450.16MB | ||
| 10.9 群-群的阶与元素的阶 |
视频
.mp4
|
2022-11-27 | 425.40MB | ||
| 10.10 习题10 |
作业
.work
|
2022-11-27 | -- | ||
| 12.2 图（上） |
视频
.mp4
|
2022-11-27 | 476.00MB | ||
| 12.3 图（中） |
视频
.mp4
|
2022-11-27 | 467.50MB | ||
| 12.4 图（下） |
视频
.mp4
|
2022-11-27 | 412.48MB | ||
| 12.5 通路与同路 |
视频
.mp4
|
2022-11-27 | 470.50MB | ||
| 12.6 图的连通性(上) |
视频
.mp4
|
2022-11-27 | 455.36MB | ||
| 12.7 图的连通性（下） |
视频
.mp4
|
2022-11-27 | 422.69MB | ||
| 12.8 图的矩阵表示 |
视频
.mp4
|
2022-11-27 | 471.05MB | ||
| 13.2 欧拉图 |
视频
.mp4
|
2022-11-27 | 442.85MB | ||
| 13.3 哈密顿图 |
视频
.mp4
|
2022-11-27 | 455.34MB | ||
| 13.4 最短路问题、 |
视频
.mp4
|
2022-11-27 | 435.35MB | ||
| 13.5 中国邮递员问题 |
视频
.mp4
|
2022-11-27 | 424.17MB | ||
| 13.6 旅行商问题 |
视频
.mp4
|
2022-11-27 | 487.46MB | ||
| 13.7 习题13 |
作业
.work
|
2022-11-27 | -- | ||
| 14.2 无向树及其性质 |
视频
.mp4
|
2022-11-27 | 453.84MB | ||
| 14.3 生成树 |
视频
.mp4
|
2022-11-27 | 458.98MB | ||
| 14.5 根树及其应用 |
视频
.mp4
|
2022-11-27 | 436.54MB | ||
| 14.6 习题14 |
作业
.work
|
2022-11-27 | -- | ||
| 15.6 习题15 |
作业
.work
|
2022-11-27 | -- |
视频 课程章节
9
10
12
