《离散数学》PPT课件 北京科技大学 罗熊

 
课件内容： 
课程导论 
课程导论 
第1章 数理逻辑之命题逻辑（上） 
1.0 数理逻辑简介 
1.1命题的基本概念 
1.2 联结词 
1.3 命题公式 
1.4 命题公式之间的关系（上） 
1.4命题公式之间的关系（中） 
1.4命题公式之间的关系（下） 
重难点解析 
第1章 数理逻辑之命题逻辑（下） 
1.5 对偶与范式（上） 
1.5 对偶与范式（下） 
1.6 命题逻辑推理理论 
1.7 命题逻辑小结 
重难点解析 
命题逻辑单元测验 
第2章 数理逻辑之谓词逻辑（上） 
2.1 谓词的基本概念（上） 
2.1 谓词的基本概念（下） 
2.2 谓词公式与解释（上） 
2.2 谓词公式与解释（下） 
2.3 谓词公式间的关系 
重难点解析 
第2章 数理逻辑之谓词逻辑（下） 
2.4 前束范式 
2.5 谓词逻辑推理理论（上） 
2.5 谓词逻辑推理理论（下） 
2.6 谓词逻辑小结 
重难点解析 
谓词逻辑单元测验 
第3章 集合论之集合 
3.1 集合论简介 
3.2 集合的基本概念 
3.3 幂集和集族 
3.4 集合运算及其性质 
3.5 有序对与笛卡尔积 
3.6 有限集合的计数 
重难点分析 
集合单元测验 
第4章 集合论之二元关系 
4.1 二元关系的定义及表示 
4.2 关系的性质 
4.3 关系的运算 
4.4 .关系的性质与运算的联系 
4.5 等价关系与划分 
4.6 相容关系与覆盖 
4.7 偏序关系 
重难点分析 
二元关系单元测验 
第5章 集合论之函数 
5.1 函数的定义和分类 
5.2 函数的运算 
函数单元测试 
第6章 集合论之集合的基数 
集合的基数自学材料 
第7章 代数结构之代数系统 
7.0 代数结构简介 
7.1 二元运算及其性质（上） 
7.1 二元运算及其性质（下） 
7.2 代数系统（上） 
7.2 代数系统（下） 
代数系统单元测验 
第8章 代数结构之群论初步 
8.1 群的定义及其性质（上） 
8.1 群的定义及其性质（下） 
8.2 子群与陪集（上） 
8.2 子群与陪集（下） 
8.3 特殊的群 
8.4 群的扩展——环与域 
8.5 群论初步小结 
重难点解析 
群论初步单元测验 
第9章 代数结构之格与布尔代数 
格与布尔代数自学材料 
第10章 图论之图的基本概念 
10.1 图论及图的基本介绍 
10.2 图的定义 
10.3 可图化与可简单图化 
10.4 图的同构分类与运算 
重难点分析 
图的基本概念单元测验 
第11章 图论之图的连通性 
11.2 无向图的连通性 
11.3 有向图的连通性 
11.1 通路与回路的定义 
图的连通性单元测验 
第12章 图论之图的矩阵表示 
12.1 邻接矩阵 
12.2 可达矩阵 
12.3 关联矩阵 
图论与图的矩阵表示单元测试 
第13章 特殊图 
13.1 树与生成树 
13.2 最小生成树 
13.3 根数与二叉树 
13.4. 欧拉图 
13.5. 哈密顿图 
13.6. 二分图与平面图 
重难点分析 
特殊图单元测试 
章节要点回顾 
章节要点回顾 
综合实验 
数理逻辑实验 
集合论实验 
图论实验