综合搜索课件包文库(822)
文档格式:PPT 文档大小:1.02MB 文档页数:57
4.1 二元关系及其表示法 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系与划分 4.6 次序关系
文档格式:PPT 文档大小:141.5KB 文档页数:18
一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法
文档格式:PPT 文档大小:190KB 文档页数:24
▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化
文档格式:PPTX 文档大小:1.21MB 文档页数:51
问题1:关系具有哪些重要性质? 问题2:如果计算关系的闭包? 问题3:什么是等价关系与等价类?
文档格式:PPT 文档大小:110KB 文档页数:24
一、对偶式与对偶原理 二、析取范式与合取范式 三、主析取范式与主合取范式
文档格式:PPT 文档大小:166.5KB 文档页数:30
▪ 命题变项与合式公式 ▪ 公式的赋值 ▪ 真值表 ▪ 命题的分类 重言式 矛盾式 可满足式
文档格式:PPT 文档大小:862.5KB 文档页数:38
◼ 环的定义与实例 ◼ 特殊的环  交换环  含幺环  无零因子环  整环  域
文档格式:PPT 文档大小:106KB 文档页数:15
一、图灵机的基本模型 二、图灵机接受的语言——递归可枚举语言 三、用图灵机计算函数——部分可计算函数与可计算函数
文档格式:DOC 文档大小:58KB 文档页数:4
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习1-(2006级)解答
文档格式:DOC 文档大小:43KB 文档页数:4
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习1-07(2011级)
首页上页1213141516171819下页末页
热门关键字
搜索一下,找到相关课件或文库资源 822 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有