腾科职业培训学校 首页 课程
手机版
扫一扫下载APP

全部课程> 离散数学

离散数学

来源:腾科职业培训学校

课程简介

离散数学是计算机学科的经典核心基础课程。课程内容主要包括集合论,数理逻辑,关系理论,图论相关内容,为进一步学习计算机科学的基本理论和方法以及之后的专业课打下良好的基础。通过这门课程的学习,将会培养学生的抽象思维能力,逻辑推理能力,缜密概括能力以及分析和解决实际问题的能力。

  • 2020-02-14  -  2020-12-31 32课时
  • 建议每周学习0小时
  • 自主模式

已有659人报名学习

  • 课程概览
  • 授课讲师
  • 课程大纲
  • 课程表
  • 课程概览
  • 授课讲师
  • 课程大纲
  • 课程表
课程概览

离散数学的学习,为其后续课程(如数据结构、操作系统、计算机网络、编译理论、数字逻辑理论、数据库系统、算法分析、系统结构、人工智能等)的学习打下坚实的理论基础。

这门课程的理论性较强,知识点比较多,但均“有迹可循,有法可依”,因而完成这门课程的学习并非很难。我们通过对课程内容的合理安排(“营养均衡”),每一讲的精心调配(“正餐”),课后习题的专业配套(“甜点”),为在线学习用户提供了学习离散数学课程的一种新形式。

授课讲师
课程大纲
第1章 集合论基础
    第1节 集合的初见
    第2节 特殊集合与集合间关系
    第3节 集合的运算
    第4节 集合的运算定律
    第5节 可数集合与不可数集合
第2章 命题逻辑(第一部分)
    第1节 1什么是命题
    第2节 命题联结词
    第3节 命题符号化及其应用
    第4节 命题公式和真值表
    第5节 命题公式分类和等价
    第6节 命题等价公式及应用
第3章 命题逻辑(第二部分)
    第1节 范式
    第2节 主范式
    第3节 命题蕴涵公式
    第4节 演绎法推理
第4章 谓词逻辑(第一部分)
    第1节 谓词引入
    第2节 量词引入
    第3节 谓词符号化
    第4节 谓词公式
    第5节 自由变元和约束变元
第5章 谓词逻辑(第二部分)
    第1节 公式解释和分类
    第2节 公式等价
    第3节 前束范式(可选)
    第4节 推理形式和推理规则
    第5节 谓词综合推理
第6章 第六讲二元关系
    第1节 序偶和笛卡尔积
    第2节 关系定义
    第3节 关系的表示
    第4节 关系的运算
    第5节 关系的运算定律
    第6节 关系的幂运算
    第7节 关系的性质一
    第8节 关系的性质二(可选)
    第9节 关系的闭包(可选)
第7章 第七讲特殊关系和函数
    第1节 等价关系
    第2节 集合的划分
    第3节 偏序关系
    第4节 哈斯图和特殊元素
    第5节 其它次序关系(可选)
    第6节 函数的定义
    第7节 函数的类型
    第8节 函数的运算
第8章 图论基础
    第1节 图的基本概念和性质
    第2节 图的连通性
第9章 树
    第1节 无向树
    第2节 有向树
第10章 特殊图
    第1节 欧拉图
    第2节 哈密顿图
    第3节 偶图
    第4节 平面图
课程表
开放时间
第1章 集合论基础 第1节 集合的初见 未设置
第2节 特殊集合与集合间关系 未设置
第3节 集合的运算 未设置
第4节 集合的运算定律 未设置
第5节 可数集合与不可数集合 未设置
第2章 命题逻辑(第一部分) 第1节 1什么是命题 未设置
第2节 命题联结词 未设置
第3节 命题符号化及其应用 未设置
第4节 命题公式和真值表 未设置
第5节 命题公式分类和等价 未设置
第6节 命题等价公式及应用 未设置
第3章 命题逻辑(第二部分) 第1节 范式 未设置
第2节 主范式 未设置
第3节 命题蕴涵公式 未设置
第4节 演绎法推理 未设置
第4章 谓词逻辑(第一部分) 第1节 谓词引入 未设置
第2节 量词引入 未设置
第3节 谓词符号化 未设置
第4节 谓词公式 未设置
第5节 自由变元和约束变元 未设置
第5章 谓词逻辑(第二部分) 第1节 公式解释和分类 未设置
第2节 公式等价 未设置
第3节 前束范式(可选) 未设置
第4节 推理形式和推理规则 未设置
第5节 谓词综合推理 未设置
第6章 第六讲二元关系 第1节 序偶和笛卡尔积 未设置
第2节 关系定义 未设置
第3节 关系的表示 未设置
第4节 关系的运算 未设置
第5节 关系的运算定律 未设置
第6节 关系的幂运算 未设置
第7节 关系的性质一 未设置
第8节 关系的性质二(可选) 未设置
第9节 关系的闭包(可选) 未设置
第7章 第七讲特殊关系和函数 第1节 等价关系 未设置
第2节 集合的划分 未设置
第3节 偏序关系 未设置
第4节 哈斯图和特殊元素 未设置
第5节 其它次序关系(可选) 未设置
第6节 函数的定义 未设置
第7节 函数的类型 未设置
第8节 函数的运算 未设置
第8章 图论基础 第1节 图的基本概念和性质 未设置
第2节 图的连通性 未设置
第9章 树 第1节 无向树 未设置
第2节 有向树 未设置
第10章 特殊图 第1节 欧拉图 未设置
第2节 哈密顿图 未设置
第3节 偶图 未设置
第4节 平面图 未设置
节数上课时间星期一 星期二星期三星期四 星期五星期六星期天
第1节08:00 - 08:40
第2节09:00 - 09:40
第3节10:00 - 10:40
第4节11:00 - 11:40
第5节14:00 - 14:40
第6节15:00 - 15:40
第7节16:00 - 16:40
第8节17:00 - 17:40
天数上课日期上课时间内容
相关课件 更多
  • pdf

    (10.4.1)--9.4课件

    大小:288.23KB

    2020-02-28

  • pdf

    (10.3.1)--9.3课件

    大小:210.26KB

    2020-02-28

  • pdf

    (10.2.1)--9.2课件

    大小:328.73KB

    2020-02-28

  • pdf

    (10.1.1)--9.1课件

    大小:305.31KB

    2020-02-28

  • pdf

    (9.2.3)--最优树和哈夫曼算法-课件

    大小:190.37KB

    2020-02-28

  • pdf

    (9.2.2)--根树的遍历-课件

    大小:175.62KB

    2020-02-28