综合搜索课件包文库(990)
文档格式:PPT 文档大小:345.5KB 文档页数:14
复旦大学:《离散数学》PPT教学课件(赵一鸣)23/28
文档格式:PPT 文档大小:293.5KB 文档页数:22
复旦大学:《离散数学》PPT教学课件(赵一鸣)21/28
文档格式:PPT 文档大小:566KB 文档页数:52
第一节 推理的形式结构 第二节 自然推理系统P
文档格式:DOC 文档大小:53KB 文档页数:4
电子科技大学:《离散数学》课程教学资源(教学大纲)
文档格式:PPT 文档大小:730.5KB 文档页数:23
复旦大学:《离散数学》PPT教学课件(赵一鸣)19/28
文档格式:PPTX 文档大小:450.48KB 文档页数:41
问题1:什么是命题逻辑? 问题2:如何判断命题表达式的真假? 问题3:如何判定命题可满足?
文档格式:PPTX 文档大小:13.31MB 文档页数:34
问题1:什么叫证明? 问题2:常见的证明方法有哪些? 问题3:什么是猜想?有哪些有意思的猜想?
文档格式:PPTX 文档大小:590.45KB 文档页数:42
问题1:什么是关系?如何表示关系?如何进行关系运算? 问题2:什么是函数?什么是单射、满射函数?如何进行函数运算?
文档格式:PPTX 文档大小:1.07MB 文档页数:38
 问题1:关系具有哪些重要性质?  问题2:如果计算关系的闭包?
文档格式:PPTX 文档大小:3.89MB 文档页数:63
 问题1:什么是代数系统?  问题2:代数系统相关性质?  问题3:什么是群?  问题4:群具有哪些性质?
首页上页5152535455565758下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有