点击切换搜索课件文库搜索结果(822)
文档格式:PPT 文档大小:899KB 文档页数:86
2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用
文档格式:DOC 文档大小:40.5KB 文档页数:5
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习3-07(2006级)
文档格式:DOC 文档大小:37.5KB 文档页数:3
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习3解答(2013年12月)
文档格式:PPT 文档大小:836KB 文档页数:82
1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论
文档格式:DOC 文档大小:105KB 文档页数:8
《离散数学 Discrete Mathematics》课程教学资源(习题集)集合与图论期终考试试题2012级
文档格式:DOC 文档大小:61KB 文档页数:4
《离散数学 Discrete Mathematics》课程教学资源(习题集)集合与图论期终考试试题2012级(b卷)解答
文档格式:DOC 文档大小:42KB 文档页数:7
《离散数学 Discrete Mathematics》课程教学资源(习题集)集合与图论期终考试试题2012级(B卷)
文档格式:PDF 文档大小:2.7MB 文档页数:442
《离散数学》课程教学资源(线性代数 linear algebra)英文教材PDF电子版
文档格式:DOC 文档大小:40KB 文档页数:4
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习3-07解答(2011-12)
文档格式:PDF 文档大小:33.6MB 文档页数:221
《离散数学》教学资源(图论与代数系统)PDF电子教学资料
首页上页1314151617181920下页末页
热门关键字
搜索一下,找到相关课件或文库资源 822 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有