命题的符号化

播放列表名称：离散数学

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
可自学章节——有限语言与自动机
课时
字母表与串
形式语言
文法
文法的分类
巴科斯-诺尔范式和语法图
有限状态自动机
非确定性有限状态自动机
正则文法和有限状态自动机
正则表达式
扩展内容——林登麦伊尔系统