We're sorry this project doesn't work properly without JavaScript enabled. Please enable it to continue.
欢迎来到坚石实训平台
问题答疑
精品课程
全部课程
公开课
云课直播
数图资源
更多
  • 扫码下载Android
  • 扫码下载iOS
精品课程
全部课程
公开课
云课直播
数图资源
    • 首页 - 课程列表 - 课程详情
    返回
    离散数学_电子科技大学
    课程类型：选修课
    发布时间：2020-03-09 20:08:46
    主讲教师：
    课程来源：
    建议学分：3.00分
    课程编码：mk000224
    课程介绍
    课程目录
    教师团队
    {1}--第一讲集合论基础
    s [1.1.1]--集合的初见 （15分钟）
    s [1.2.1]--1.2特殊集合与集合间关系 （21分钟）
    s [1.3.1]--1.3集合的运算视频 （11分钟）
    s [1.4.1]--1.4集合的运算定律 视频 （14分钟）
    s [1.5.1]--1.5可数集合与不可数集合 视频 （24分钟）
    {2}--第二讲命题逻辑（第一部分）
    s [2.1.1]--2.1什么是命题 （14分钟）
    s [2.2.1]--2.2命题联结词 （20分钟）
    s [2.3.1]--2.3命题符号化及其应用 （26分钟）
    s [2.4.1]--2.4命题公式和真值表 （17分钟）
    s [2.5.1]--2.5命题公式分类和等价 （12分钟）
    s [2.6.1]--2.6命题等价公式及应用 （26分钟）
    {3}--第三讲命题逻辑（第二部分）
    s [3.1.1]--2.7范式 （22分钟）
    s [3.2.1]--2.8主范式 （40分钟）
    s [3.3.1]--2.9命题蕴涵公式 （16分钟）
    s [3.4.1]--2.10演绎法推理 （28分钟）
    {4}--第四讲谓词逻辑（第一部分）
    s [4.1.1]--3.1谓词引入 （16分钟）
    s [4.2.1]--3.2量词引入 （19分钟）
    s [4.3.1]--3.3谓词符号化 （15分钟）
    s [4.4.1]--3.4谓词公式 （9分钟）
    s [4.5.1]--3.5自由变元和约束变元 （12分钟）
    {5}--第五讲谓词逻辑（第二部分）
    s [5.1.1]--3.6公式解释和分类 （9分钟）
    s [5.2.1]--3.7公式等价 （11分钟）
    s [5.3.1]--3.8前束范式(可选) （11分钟）
    s [5.4.1]--3.9推理形式和推理规则 （17分钟）
    s [5.5.1]--3.10谓词综合推理 （20分钟）
    {6}--第六讲二元关系
    s [6.1.1]--4.1序偶和笛卡尔积 （11分钟）
    s [6.2.1]--4.2关系定义 （12分钟）
    s [6.3.1]--4.3关系的表示 （13分钟）
    s [6.4.1]--4.4关系的运算 （13分钟）
    s [6.5.1]--4.5关系的运算定律 （17分钟）
    s [6.6.1]--4.6关系的幂运算 （15分钟）
    s [6.7.1]--4.7关系的性质一 （27分钟）
    s [6.8.1]--4.8关系的性质二（可选） （17分钟）
    s [6.9.1]--4.9关系的闭包（可选） （15分钟）
    {7}--第七讲特殊关系和函数
    s [7.1.1]--5.1等价关系 （26分钟）
    s [7.2.1]--5.2集合的划分 （13分钟）
    s [7.3.1]--5.3偏序关系 （15分钟）
    s [7.4.1]--5.4哈斯图和特殊元素 （24分钟）
    s [7.5.1]--5.5其它次序关系（可选） （15分钟）
    s [7.6.1]--6.1函数的定义 （11分钟）
    s [7.7.1]--6.2函数的类型 （16分钟）
    s [7.8.1]--6.3函数的运算 （14分钟）
    {8}--第八讲图论基础
    s [8.1.1]--视频-图的引入 （13分钟）
    s [8.1.2]--视频-图的表示 （9分钟）
    s [8.1.3]--视频-图的分类 （11分钟）
    s [8.1.4]--视频-子图和补图 （22分钟）
    s [8.1.5]--视频-握手定理 （18分钟）
    s [8.1.6]--视频-图的同构 （11分钟）
    s [8.2.1]--通路和回路-视频 （27分钟）
    s [8.2.2]--可达性与最短通路-视频 （19分钟）
    s [8.2.3]--无向图的连通性-视频 （17分钟）
    s [8.2.4]--有向图的连通性-视频 （26分钟）
    {9}--第九讲树
    s [9.1.1]--认识树-视频 （10分钟）
    s [9.1.2]--无向树-视频 （17分钟）
    s [9.1.3]--生成树-视频 （14分钟）
    s [9.1.4]--最小生成树-视频 （10分钟）
    s [9.2.1]--根树-视频 （16分钟）
    s [9.2.2]--根树的遍历-视频 （13分钟）
    s [9.2.3]--最优树和哈夫曼算法-视频 （16分钟）
    {10}--第十讲特殊图
    s [10.1.1]--9.1欧拉图 （17分钟）
    s [10.2.1]--9.2哈密顿图 （30分钟）
    s [10.3.1]--9.3偶图 （31分钟）
    s [10.4.1]--9.4平面图 （27分钟）
    桂ICP备2022010207号 　　
    友情链接
    常见问题
    关于我们
    联系方式