10.1 格的定义与性质 10.2 子格与格同态 10.3 特殊格 10.4 布尔代数
文件格式: PPT大小: 868KB页数: 42
中国科学技术大学：《离散数学》课程教学资源（PPT课件讲稿）第三部分 代数结构 第九章 环与域
文件格式: PPT大小: 312KB页数: 11
8.1 半群 8.2 群的定义与性质 8.3 子群 8.4 陪集与拉格朗日定理 8.5 正规子群与商群 8.6 特殊群：循环群与置换群
文件格式: PPT大小: 1.02MB页数: 63
中国科学技术大学：《离散数学》课程教学资源（PPT课件讲稿）第三部分 代数结构 第七章 代数系统
文件格式: PPT大小: 764KB页数: 27
中国科学技术大学：《离散数学》课程教学资源（PPT课件讲稿）第二部分 集合论 第六章 集合的基数
文件格式: PPT大小: 370.5KB页数: 17
中国科学技术大学：《离散数学》课程教学资源（PPT课件讲稿）第二部分 集合论 第五章 函数
文件格式: PPT大小: 435.5KB页数: 18
4.1 二元关系及其表示法 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系与划分 4.6 次序关系
文件格式: PPT大小: 1.02MB页数: 57
中国科学技术大学：《离散数学》课程教学资源（PPT课件讲稿）第二部分 集合论 第三章 集合代数
文件格式: PPT大小: 398.5KB页数: 28
2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用
文件格式: PPT大小: 899KB页数: 86
1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统
文件格式: PPT大小: 1.56MB页数: 87