C009 P072 10.1.2 代数结构

Описание: 《离散数学概论》，北京大学。陈斌，北京大学地球与空间科学学院教授，北京大学计算机科学技术系学士、硕士和博士。
播放列表   • C009 P001 1.1.1 课程简介  

1 课程介绍
1.1课程简介
1.2正式内容之前
2 数理逻辑-基本概念
2.1命题与联结词
2.2命题公式
3 数理逻辑-命题逻辑及形式系统
3.1重言式
3.2范式
3.3命题演算形式系统
4 数理逻辑-谓词逻辑及形式系统
4.1谓词公式
4.2谓词演算形式系统
4.3自然推理系统
5 集合论
5.1集合基本概念
5.2归纳定义
6 集合论-集合代数
6.1关系定义
6.2关系运算
6.3关系特性
7 集合论-特殊关系及函数
7.1特殊关系
7.2函数
8 图论：图的基本概念
8.1图的定义
8.2连通性
9 图论-特殊图
9.1二分图
9.2树
10 抽象代数
10.1代数结构
10.2特殊元素
10.3代数结构间的关系
11 形式语言与自动机：基本概念
11.1形式语言
11.2形式语法分类
12 形式语言与自动机-有限状态机
12.1状态图
12.2商机器
12.3带输出的机器
13 形式语言与自动机-图灵机与计算理论
13.1图灵机
13.2通用图灵机
13.2停机问题