点击切换搜索课件文库搜索结果(990)
文档格式:PPT 文档大小:208KB 文档页数:28
3.1算术运算 3.2赋值运算 3.3增自减运算 3.4关系运算与逻辑运算 3.5条件运算 3.6逗号运算 3.7位运算 3.8类型转换
文档格式:PPT 文档大小:107KB 文档页数:7
本章可视为前一章的深入和提高; 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同;能将自然语言符号 化;能用谓词逻辑进行推理;理 解前束范式的意义
文档格式:PPT 文档大小:101.5KB 文档页数:8
高等学校计算机专业教材:《离散数学》课程PPT课件_第四章 命题逻辑
文档格式:PPT 文档大小:130.5KB 文档页数:15
高等学校计算机专业教材:《离散数学》课程PPT课件_第六章 代数结构
文档格式:PPT 文档大小:100.5KB 文档页数:13
高等学校计算机专业教材:《离散数学》课程PPT课件_第八章 图的基本概念
文档格式:PPT 文档大小:107KB 文档页数:7
高等学校计算机专业教材:《离散数学》课程PPT课件_第五章 谓词逻辑
文档格式:PPT 文档大小:148.5KB 文档页数:12
高等学校计算机专业教材:《离散数学》课程PPT课件_第二章 二元关系
文档格式:PPT 文档大小:96KB 文档页数:7
高等学校计算机专业教材:《离散数学》课程PPT课件_第九章 树与平面图
文档格式:PPT 文档大小:60.5KB 文档页数:5
高等学校计算机专业教材:《离散数学》课程PPT课件_第三章 集合的基数
文档格式:PPT 文档大小:106.5KB 文档页数:6
高等学校计算机专业教材:《离散数学》课程PPT课件_第七章 格与布尔代数
首页上页1718192021222324下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有