职称:讲师
单位:菏泽学院
部门:计算机学院
主讲教师:李静、段冬燕、王凤玲
教师团队:共3位
学校: | 菏泽学院 |
开课院系: | 计算机学院 |
专业大类: | 计算机科学与技术 |
课程英文名称: | Discrete Mathematics |
课程编号: | 135037 |
学分: | 3 |
课时: | 48 |
离散数学以是研究离散量的结构和相互之间的关系为主要目标,其研究对象一般为有限或可数个元素(例如:自然数、整数、真假值、有限个结点等),而离散性也是计算机科学的显著特点。离散数学与计算机科学的其他课程如:数据结构、操作系统、数据库原理、计算机网络、软件工程、编译原理、人工智能等有密切的联系。它是这些课程的先导和基础课程。
课程章节 | | 文件类型 | | 修改时间 | | 大小 | | 备注 | |
1.1 集合的基本概念 |
.ppt
|
2018-07-27 | 449.50KB | ||
.avi
|
2020-07-23 | 115.77MB | |||
.pptx
|
2020-07-23 | 191.21KB | |||
1.2 集合运算与幂集 |
.ppt
|
2018-07-27 | 611.50KB | ||
.avi
|
2019-08-27 | 137.97MB | |||
.pptx
|
2019-08-27 | 314.77KB | |||
1.3 关系的预备知识和关系的基本概念 |
.avi
|
2019-09-06 | 106.48MB | ||
.wmv
|
2019-09-06 | 28.43MB | |||
.pptx
|
2019-09-06 | 258.41KB | |||
1.4 关系运算与关系的性质 |
.wmv
|
2019-09-11 | 14.09MB | ||
.wmv
|
2019-09-11 | 20.85MB | |||
.pptx
|
2019-09-11 | 242.96KB | |||
1.5 关系的闭包运算 |
.wmv
|
2019-09-11 | 16.96MB | ||
.pptx
|
2019-09-11 | 231.19KB | |||
1.6 次序关系 |
.wmv
|
2019-09-20 | 42.00MB | ||
1.7 等价关系 |
.wmv
|
2018-10-08 | 20.04MB | ||
.pptx
|
2018-10-08 | 536.70KB | |||
1.8 函数 |
.mp4
|
2018-10-08 | 11.48MB | ||
.wmv
|
2018-10-08 | 19.05MB | |||
.pptx
|
2018-10-08 | 220.00KB | |||
1.9 知识拓展 |
.pdf
|
2018-10-09 | 417.70KB | ||
.pdf
|
2018-10-09 | 520.01KB | |||
.pdf
|
2018-10-09 | 339.02KB | |||
.docx
|
2019-09-12 | 2.54MB | |||
.docx
|
2019-09-12 | 15.60KB | |||
.docx
|
2019-09-18 | 2.28MB | |||
2.1 图的基本概念 |
.mp4
|
2018-10-13 | 12.46MB | ||
.mp4
|
2018-10-13 | 5.36MB | |||
.wmv
|
2018-10-13 | 18.08MB | |||
.pptx
|
2018-10-13 | 147.34KB | |||
2.2 图的通路、回路与连通性 |
.MP4
|
2018-10-20 | 36.08MB | ||
.wmv
|
2018-10-20 | 7.03MB | |||
.ppt
|
2018-10-20 | 805.50KB | |||
2.3 图的矩阵表示法 |
.MP4
|
2019-08-27 | 38.15MB | ||
.ppt
|
2019-08-27 | 325.00KB | |||
.
|
2019-08-27 | 94.31MB | |||
.
|
2019-08-27 | 95.22MB | |||
.
|
2019-08-27 | 105.41MB | |||
.
|
2019-08-27 | 98.13MB | |||
2.4 树 |
.wmv
|
2018-10-27 | 23.85MB | ||
.ppt
|
2018-10-27 | 1.05MB | |||
2.5 一些特殊的图(一) (选读) |
.
|
2018-10-23 | 97.44MB | ||
.
|
2018-10-23 | 104.47MB | |||
.
|
2018-10-23 | 69.43MB | |||
2.6 一些特殊的图(二)(选读) |
.
|
2018-10-23 | 96.75MB | ||
.
|
2018-10-23 | 108.35MB | |||
.
|
2018-10-23 | 142.89MB | |||
3.1 命题及其联结词 |
.wmv
|
2018-11-21 | 14.76MB | ||
.wmv
|
2018-11-21 | 37.75MB | |||
.ppt
|
2018-11-21 | 800.00KB | |||
.
|
2018-11-21 | 105.41MB | |||
.
|
2018-11-21 | 109.24MB | |||
.
|
2018-11-21 | 96.10MB | |||
.
|
2018-11-21 | 98.20MB | |||
3.2 命题公式及其分类、真值表 |
.wmv
|
2018-11-09 | 21.19MB | ||
.wmv
|
2018-11-09 | 6.80MB | |||
.wmv
|
2018-11-09 | 10.37MB | |||
.
|
2018-11-09 | 116.36MB | |||
.
|
2018-11-09 | 98.45MB | |||
3.3 命题逻辑的等值演算 |
.wmv
|
2018-11-21 | 32.36MB | ||
.ppt
|
2018-11-21 | 1.02MB | |||
.
|
2018-11-21 | 97.46MB | |||
.
|
2018-11-21 | 107.39MB | |||
3.4 命题逻辑的基本蕴含式及蕴含推理 |
.wmv
|
2018-11-21 | 15.09MB | ||
.wmv
|
2018-11-21 | 21.68MB | |||
.wmv
|
2018-11-21 | 18.77MB | |||
.ppt
|
2018-11-21 | 671.00KB | |||
3.5 范式 |
.wmv
|
2018-11-21 | 27.68MB | ||
.wmv
|
2018-11-21 | 24.74MB | |||
.wmv
|
2018-11-21 | 44.16MB | |||
.ppt
|
2018-11-21 | 1.08MB | |||
3.6 谓词与量词(选学) |
.wmv
|
2018-12-03 | 34.78MB | ||
3.7 谓词公式及分类(选学) |
.wmv
|
2018-12-03 | 48.32MB | ||
3.8 自然语句形式化(选学) |
.wmv
|
2018-12-03 | 33.78MB | ||
3.9 谓词逻辑的等值演算(选学) |
.wmv
|
2018-12-03 | 62.18MB | ||
3.10 前束范式(选学) |
.wmv
|
2018-12-03 | 15.98MB | ||
3.11 谓词逻辑的推理(选学) |
.wmv
|
2018-12-03 | 53.26MB | ||
4.1 代数系统的一般概念和常用性质 |
.mp4
|
2018-10-08 | 13.40MB | ||
.mp4
|
2018-10-08 | 15.04MB | |||
.mp4
|
2018-10-08 | 13.66MB | |||
4.2 代数系统的一般概念和常见性质 |
.ppt
|
2018-08-24 | 664.50KB | ||
4.3 同构 |
.mp4
|
2018-10-08 | 19.11MB | ||
4.4 同构与同态 |
.ppt
|
2018-10-08 | 713.00KB | ||
4.5 同态 |
.mp4
|
2018-10-08 | 9.26MB | ||
4.6 群的基本概念 |
.MP4
|
2018-12-08 | 19.33MB | ||
.wmv
|
2018-12-08 | 7.97MB | |||
.pptx
|
2018-12-08 | 111.62KB | |||
4.7 循环群与子群 |
.wmv
|
2018-12-16 | 9.15MB | ||
.pptx
|
2018-12-16 | 129.78KB | |||
4.8 几个典型的代数系统(一) |
.
|
2018-10-23 | 71.91MB | ||
.
|
2018-10-23 | 73.44MB | |||
.
|
2018-10-23 | 72.07MB | |||
4.9 几个典型的代数系统(二) |
.
|
2018-10-23 | 124.31MB | ||
.
|
2018-10-23 | 100.53MB |