8.1图的定义及相关术语 8.2通路回路图的连通性 8.3图的矩阵表示 8.4例题选解
文件格式: PPT大小: 1.14MB页数: 115
7.1格与子格 7.2特殊格 7.3布尔代数 7.4例题选解
文件格式: PPT大小: 1.09MB页数: 116
6.1半群与群 6.2子群 6.3循环群和置换群 6.4陪集与拉格朗日定理 6.5正规子群、商群和同态基本定理 6.6环和域 6.7例题选解
文件格式: PPT大小: 1.08MB页数: 185
5.1二元运算及其性质 5.2代数系统 5.3代数系统的同态与同构 5.4例题选解
文件格式: PPT大小: 704KB页数: 88
4.1序偶与笛儿积4,7序关系 4.2关系及表示 4.3关系的运算 4.4关系的性质 4.5关系的闭包
文件格式: PPT大小: 3.05MB页数: 351
3.1 集合的基本概念与表示 3.2 集合的基本运算 3.3 集合元素的计数 3.4 例题选解 习题三
文件格式: PPT大小: 747.5KB页数: 82
第3章集合的基本概念和运算 3.1集合的基本概念与表示 3.2集合的基本运算 3.3集合元素的计数 3.4例题选解
文件格式: PPT大小: 1.24MB页数: 82
2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二
文件格式: PPT大小: 1.33MB页数: 122
2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二
文件格式: PPT大小: 1.04MB页数: 111
1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一
文件格式: PPT大小: 3.87MB页数: 159