点击切换搜索课件文库搜索结果(264)
文档格式:PDF 文档大小:145.76KB 文档页数:6
信息科学技术学院2003-2004学年第一学期本科生期末考试试卷(数理逻辑)
文档格式:PPT 文档大小:164KB 文档页数:41
1.1 命题与联结词 1.2 命题公式及其分类 1.3 等值演算 1.4 命题公式的标准形式 1.5 命题演算的推理理论
文档格式:PPT 文档大小:166.5KB 文档页数:30
▪ 命题变项与合式公式 ▪ 公式的赋值 ▪ 真值表 ▪ 命题的分类 重言式 矛盾式 可满足式
文档格式:PPT 文档大小:110KB 文档页数:24
一、对偶式与对偶原理 二、析取范式与合取范式 三、主析取范式与主合取范式
文档格式:PPT 文档大小:457KB 文档页数:23
复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_29/29
文档格式:PPT 文档大小:366.5KB 文档页数:13
复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_28/29
文档格式:PPT 文档大小:339.5KB 文档页数:12
复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_27/29
文档格式:PPT 文档大小:364KB 文档页数:16
复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_26/29
文档格式:PPT 文档大小:414.5KB 文档页数:22
复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_25/29
文档格式:PPT 文档大小:354KB 文档页数:15
复旦大学:《离散数学——代数结构与数理逻辑》PPT课件_24/29
首页上页678910111213下页末页
热门关键字
搜索一下,找到相关课件或文库资源 264 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有