- 在线播放
- 分集下载
- 00-01导论1
- 01-01 数理逻辑
- 01-02 命题的概念
- 00-02导论2
- 01-03 命题联结词
- 01-04 条件联结词
- 01-05 命题公式
- 01-06 命题的翻译
- 01-07 真值表
- 01-08 等价关系
- 01-09 等价置换定理
- 01-10 重言式与蕴含式
- 01-11 其他联结词
- 01-12 或非
- 01-13 其他联结词真值表
- 01-14 联结词及对应的真值指派
- 01-15 最小全功能联结词集
- 01-16 对偶式
- 01-17 范式
- 01-18 范式存在定理
- 01-19 小项
- 01-20 主析取范式
- 01-21 大项
- 01-22 主合取范式
- 01-23 范式的求法
- 01-24 推理理论
- 01-25 直接证法
- 01-26 反证法
- 01-27 CP规则
- 01-28 推理证法总结
- 02-00 谓词逻辑简介
- 02-01 谓词的概念
- 02-02 谓词逻辑的翻译
- 02-03 谓词的合式公式
- 02-04 约束变元及换名
- 02-05 闭式
- 02-06 谓词的等价
- 02-07 谓词的等价和蕴涵式
- 02-08 前束范式
- 02-09 推理的四个基本规则
- 02-10 谓词逻辑的推理
- 02-11 谓词逻辑推理实例
- 03-01 集合论简介
- 03-02 集合的概念
- 03-03 子集空集幂集
- 03-04 集合的运算(1)
- 03-05 集合的运算(2)
- 03-06 笛卡尔积
- 03-07 关系
- 03-08 关系图和关系矩阵
- 03-09 自反和反自反
- 03-10 对称和反对称
- 03-11 传递关系
- 03-12 复合关系(1)
- 03-13 复合关系(2)
- 03-14 逆关系
- 03-15 关系的闭包
- 03-16 传递闭包的运算
- 03-17 集合的划分
- 03-18 等价关系
- 03-19 等价类
- 03-20 相容类
- 03-21 偏序关系
- 03-22 哈斯图例子
- 03-23 偏序关系的元素
- 03-24 例子
- 03-25 链与反链,全序和良序
- 04-01 函数的定义
- 04-02 函数的计数
- 04-03 特殊函数
- 04-04 函数的复合
- 04-05 复合函数的性质
- 04-06 逆函数
- 05-01 代数系统简介
- 05-02 代数系统
- 05-03 运算的性质(1)
- 05-04 运算的性质(2)
- 05-05 幺元和零元
- 05-06 逆元
- 05-07 半群和独异点
- 05-08 半群性质的证明(1)
- 05-09 半群性质的证明(2)
- 05-10 群
- 05-11 群的性质(1)
- 05-12 群的性质(2)
- 05-13 子群的判定(1)
- 05-14 子群的判定(2)
- 05-15 例题
- 05-16 阿贝尔群
- 05-17 循环群
- 05-18 元素的阶
- 05-19 陪集
- 05-20 陪集的性质
- 05-21拉格朗日定理证明
- 05-22 拉格朗日定理推论
- 05-23 同态与同构
- 06-01 格与子格
- 06-02 格的性质
- 06-03 格的代数系统定义
- 06-04 格的同态与同构
- 06-05 特殊格
- 06-06 模格和分配格
- 06-07 分配格的性质
- 06-08 布尔代数
- 06-09 布尔代数的性质(1)
- 06-10 布尔代数的性质(2)
- 06-11 格的实例
- 07-01 图论简介
- 07-02 图的基本概念
- 07-03 握手定理
- 07-04 完全图,子图和补图
- 07-05 图的同构
- 07-06 路与回路
- 07-07 割集,连通度
- 07-08 有向图的连通性
- 07-09 图的矩阵表示
- 07-10 欧拉图
- 07-11 汉密尔顿图
- 07-12 汉密尔顿图的判定
- 07-13 汉密尔顿图判定的实际问题
- 07-14 平面图
- 07-15 平面图的判定
- 07-16 对偶图
- 07-17 五色定理证明
- 07-18 着色法
- 07-19 树的定义
- 07-20 树的性质
- 07-21 生成树
- 07-22 最小生成树
- 07-23 根树
- 07-24 哈夫曼树构造
- 07-25 前缀码
离散数学的相关介绍
离散数学以离散对象为研究对象,是计算机专业和其他一些工程专业的数学基础。我们收录的这部离散数学视频教程为大家介绍了数理逻辑、集合论、数函数和递推关系、图论、代数系统及布尔代数等内容。
新版离散数学,帮你走进计算机的世界。2022年2月更新补充格和布尔代数。(适合左孝凌、耿素云、屈婉玲等国内主要离散数学教材,适合专科、自考、同等学力研究生入学考试、本科期末复习。)
PPT课件:链接:https://pan.baidu.com/s/1FnTjkzccw-I2002GRrUk0Q&pwd=lssx
离散数学是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。它在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习,不但可以掌握处理离散结构的描述工具和方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。
离散数学课程主要介绍离散数学的各个分支的基本概念、基本理论和基本方法。这些概念、理论以及方法大量地应用在数字电路、编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、人工智能、计算机网络等专业课程中;同时,该课程所提供的训练十分有益于学生概括抽象能力、逻辑思维能力、归纳构造能力的提高,十分有益于学生严谨、完整、规范的科学态度的培养。
离散数学课程的教学目的,不但作为计算机科学与技术及相关专业的理论基础及核心主干课,对后续课程提供必需的理论支持。更重要的是旨在“通过加强数学推理,组合分析,离散结构,算法构思与设计,构建模型等方面专门与反复的研究、训练及应用,培养提高学生的数学思维能力和对实际问题的求解能力。”
离散数学通常研究的领域包括:数理逻辑、集合论、代数结构、关系论、函数论、图论、组合学、数论等。它是高校计算机及相关专业的重要基础课程之一。