点击切换搜索课件文库搜索结果(990)
文档格式:PPT 文档大小:1MB 文档页数:133
一、数据库系统设计概述 二、需求分析 三、概念数据库设计 四、逻辑数据库数据库设计 五、物理数据库设计
文档格式:PPT 文档大小:305.5KB 文档页数:19
欧几里德在不加证明而直接采用基本概念和 公理的基础上, 运用逻辑推理方法得出了一系列 定理、推论, 从而建立了完整的欧几理德几何学, 这一辉煌的成果至今仍然是人类宝贵财富. 逻辑推理建模方法是一种重要的建模方法
文档格式:PPT 文档大小:1.58MB 文档页数:94
1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统
文档格式:PPT 文档大小:1.07MB 文档页数:87
1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论
文档格式:PPT 文档大小:686KB 文档页数:87
为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容
文档格式:DOC 文档大小:282.5KB 文档页数:6
西安石油大学:《统计学 Statistics》精品课程教学资源(实例库)农业普查方案_乡镇普查表逻辑关系
文档格式:PPT 文档大小:389.5KB 文档页数:42
2.1 基本PR0L0G 2.2 Turbo PR0L0G程序设计
文档格式:PDF 文档大小:1.35MB 文档页数:43
7.1 概述 7.2 只读存储器(ROM) 7.3 随机存储器(RAM) 7.4 存储器容量的扩展 7.5 用存储器实现组合逻辑函数
文档格式:PPT 文档大小:482.5KB 文档页数:42
2.1 基本PROLOG 2.2 Turbo PROLOG程序设计
文档格式:PPT 文档大小:561.5KB 文档页数:36
上海交通大学:《推理与思维训练》教学资源(PPT课件)第五章 推理的运用——论证、第六章 逻辑思维基本规律
首页上页6970717273747576下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有