点击切换搜索课件文库搜索结果(181)
文档格式:PDF 文档大小:1.98MB 文档页数:131
高等数学 T 文科高等数学 高等数学 线性代数 高等代数 空间解析几何 数学分析 复变函数与积分变换 复变函数 应用回归分析 概率论 概率论与数理统计 A 概率论与数理统计 应用随机过程 运筹学 最优化方法 离散数学 数学实验与建模 数学与经济 数学与文化 大学物理 卫星导航的奥秘 朋友圈与网络 数字动画与虚拟现实技术导论 计算方法 数字图像处理 数字信号处理 计算机应用基础 B 数据结构 计算机应用基础 逻辑与计算机设计基础 人工智能鱼 FLASH 动画设计与 ASP 编程 数据库基础及应用 Java 程序设计 数据库系统原理 数据库应用基础 软件工程 现代操作系统 嵌入式操作系统 web 程序设计 程序设计语言(C++) 程序设计语言(C 语言) 程序设计语言 python I 程序设计语言 python II 程序设计基础 I 程序设计基础 I 课程设计 Photoshop 入门与提高 电子商务概论 编程艺术 编译原理技术 编译原理技术课程设计 操作系统原理 操作系统原理课程设计 大数据应用平台 大数据应用平台课程设计 单片机原理与应用 高级程序设计 高级程序设计课程设计 海洋大数据技术与应用 海洋大数据技术与应用课程设计 计算机网络 计算机网络课程设计 计算机系统结构 计算机组成原理 数据结构课程设计 数据库原理 数据库原理课程设计 数据挖掘 数据挖掘课程设计 信息安全概论 信息论 虚拟现实 移动开发技术 中级综合开发实践 专业大型综合实践 综合实习 毕业设计(论文) 毕业设计(论文) 毕业论文 海洋空间信息工程概论 海洋信息技术与应用 海洋遥感影像分析 海洋遥感影像分析课程设计 空间建模与分析 空间建模与分析课程设计 空间数据获取技术基础 空间数据获取技术基础课程设计 空间信息管理与服务 逻辑与计算机设计基础 I 课程设计 人工智能基础 人工智能基础课程设计 数学建模 数学建模课程设计 数学实验 数值分析 数值分析课程设计实习 数字信号处理课程设计 算法基础 算法基础课程设计 微机原理与接口技术 物联网概论 软件工程课程设计 软件工程综合课程设计 软件开发与创新 软件开发与创新课程设计 数学专业英语 控制论基础 计算智能
文档格式:PPT 文档大小:415.5KB 文档页数:60
5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论
文档格式:PPT 文档大小:496.5KB 文档页数:60
– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式
文档格式:PPT 文档大小:932KB 文档页数:83
等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式,主析取范式与主合取范式 联结词完备集 可满足性问题与消解法
文档格式:DOC 文档大小:84.5KB 文档页数:4
福州大学:《离散数学》课程教学资源(教案讲义)第五章 阶逻辑等值演算与推理
文档格式:PDF 文档大小:486.77KB 文档页数:31
福州大学:《离散数学》课程教学资源(课件讲稿)第五章 阶逻辑等值演算与推理
文档格式:PDF 文档大小:592.65KB 文档页数:46
福州大学:《离散数学》课程教学资源(课件讲稿)第二章 命题逻辑等值演算
文档格式:DOC 文档大小:86.5KB 文档页数:5
福州大学:《离散数学》课程教学资源(教案讲义)第二章 命题逻辑等值演算
文档格式:PPT 文档大小:162KB 文档页数:33
第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论
文档格式:PPT 文档大小:101.5KB 文档页数:8
本章是数理逻辑中的最基本内容, 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容;能将自然语言符号化; 能用等价式、蕴涵式等进行命题 演算和推理;能用逻辑推理的方 法解决一些实际问题
首页上页4567891011下页末页
热门关键字
搜索一下,找到相关课件或文库资源 181 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有