10.1 格的定义与性质 10.2 子格与格同态 10.3 特殊格 10.4 布尔代数

中国科学技术大学：《离散数学》课程教学资源（PPT课件讲稿）第三部分 代数结构 第九章 环与域

中国科学技术大学：《离散数学》课程教学资源（PPT课件讲稿）第三部分 代数结构 第七章 代数系统

 归纳： 数学归纳法与强数学归纳法 运用良序公理来证明  递归： 递归定义 结构归纳法与递归算法

第一节 推理的形式结构 第二节 自然推理系统P

一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法

–推理的形式结构 –自然推理系统P

 图的定义  图模型  图的术语  几种特殊的图  二部图 （偶图）  图的运算  图结构上的经典问题

„ 变换群 „ 变换群的定义 „ 变换群的实例 „ n元置换群 „ 置换的表示 „ 置换的乘法和求逆运算 „ 置换群中元素的阶与子群 „ 置换群的实例 „ 陪集及其性质 „ Lagrange定理 „ Lagrange定理的应用 „ 共轭关系与共轭类 „ 群的分类方程

„ 正规子群及判定 „ 定义 „ 判别定理 „ 判别法 „ 商群 „ 定义及其实例 „ 性质