Рет қаралды 4,694
播放列表名称:离散数学
01
基础知识
课时
1.1 集合与序列
1.2 数论基础
1.3 计数基础
1.4 布尔矩阵及其运算
02
命题逻辑
课时
2.1 命题逻辑的基本概念
2.2 命题公式及其分类
2.3 命题逻辑的等值演算
2.4 范式
2.5 命题逻辑的推理
扩展内容--对偶
扩展内容--逻辑联接词的完备集
扩展内容--说谎人与妖魔戒指
扩展内容--新裙子的颜色
扩展内容--早餐吃的什么
扩展内容--从一个竞赛题目说起
03
谓词逻辑
课时
3.1 谓词与量词
3.2 谓词公式及分类
3.3 自然语句形式化
3.4 谓词逻辑的等值演算
3.5 前束范式
3.6 谓词逻辑的推理
扩展内容--Prolog语言
04
二元关系
课时
4.1 关系及其表示
4.2 关系的运算
4.3 关系的性质
4.4 关系的闭包
4.5 等价关系和集合的划分
扩展内容--过河问题
05
函数
课时
5.1 函数的定义
5.2 函数的性质
5.3 函数的复合
5.4 逆函数
5.5 计算机科学中的常用函数
扩展内容--置换
扩展内容--集合的势
06
偏序关系
课时
6.1 偏序关系和偏序集
6.2 偏序集中的特殊元素
6.3 格
扩展内容--信息流的安全格模型
扩展内容--Chomp游戏
07
图论
课时
7.1 图的基本概念
7.2 欧拉图
7.3 哈密尔顿图
7.4 平面图
7.5 顶点支配、独立与覆盖
7.6 图的着色
扩展内容--顿时错乱游戏
扩展内容--中国邮路问题
扩展内容--抽芽游戏(Sprouts)
扩展内容--抱子甘蓝游戏(Brussels sprouts)
08
无向树
课时
8.1 无向树
8.2 支撑树及其应用
8.3 最短道路树
8.4 根树
8.5 二叉树的遍历
8.6 最优二叉树与霍夫曼编码
09
专题
课时
格雷码专题
汉诺塔专题
裴蜀等式专题
正多面体
“德·布鲁因”专题
谢尔宾斯基三角形
格路问题专题
鸽巢原理的纸牌魔术
10
可自学章节--代数结构
课时
代数结构
群
环与域
扩展内容--伯恩赛德引理与波利亚定理
扩展内容--麻花辫
扩展内容--魔方
11
可自学章节--图论进阶
课时
匹配
流网络
12
可自学章节--有限语言与自动机
课时
字母表与串
形式语言
文法
文法的分类
巴科斯-诺尔范式和语法图
有限状态自动机
非确定性有限状态自动机
正则文法和有限状态自动机
正则表达式
扩展内容--林登麦伊尔系统