综合搜索课件包文库(422)
文档格式:PPT 文档大小:415.5KB 文档页数:60
5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论
文档格式:PPT 文档大小:522KB 文档页数:62
4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释
文档格式:PPT 文档大小:496.5KB 文档页数:60
– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式
文档格式:PPT 文档大小:906KB 文档页数:11
沪科初中数学八下PPT全册打包课件_沪科初中数学八下《20.2.2 数据的离散程度》教案 (2)
文档格式:PPT 文档大小:483KB 文档页数:46
– 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类
文档格式:PPT 文档大小:886KB 文档页数:15
北师大初中数学八上PPT全册打包课件_北师大初中数学八上《6.4数据的离散程度》PPT课件 (5)
文档格式:PPT 文档大小:802KB 文档页数:21
北师大初中数学八上PPT全册打包课件_北师大初中数学八上《6.4数据的离散程度》PPT课件 (3)
文档格式:PPT 文档大小:724KB 文档页数:13
北师大初中数学八上PPT全册打包课件_北师大初中数学八上《6.4数据的离散程度》PPT课件 (1)
文档格式:PPT 文档大小:565KB 文档页数:41
5.1 二元运算及其性质 5.2 代数系统及其子代数 5.3 代数系统的同态与同构
文档格式:PPT 文档大小:1.07MB 文档页数:87
1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论
首页上页2728293031323334下页末页
热门关键字
搜索一下,找到相关课件或文库资源 422 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有