人民邮电出版社：高等学校计算机专业教材《离散数学》课程教学资源（PPT课件）第六章 代数结构

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

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

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

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

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

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

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

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

16.1半群与独异点 一、半群、独异点的定义与性质 二、半群与独异点定义 三、半群与独异点性质 四、半群、独异点的子代数、积代数、商代数