网站首页校园空间教师库在线阅读知识问答大学课件
高等教育资讯网大学课件分类：基础课件 工程课件 经管课件 农业课件 医药课件 人文课件 其他课件
点击切换搜索课件文库搜索结果（622）
南京大学：《离散数学》课程教学资源（PPT课件讲稿）Lecture 03 证明方法
文档格式：PPTX　文档大小：13.31MB　文档页数：34
问题1：什么叫证明？ 问题2：常见的证明方法有哪些？ 问题3：什么是猜想？有哪些有意思的猜想？
南京大学：《离散数学》课程教学资源（PPT课件讲稿）Lecture 02 谓词逻辑初步
文档格式：PPTX　文档大小：718.94KB　文档页数：40
问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？
南京大学：《离散数学》课程教学资源（PPT课件讲稿）Lecture 01 命题逻辑（主讲：姚远）
文档格式：PPTX　文档大小：450.48KB　文档页数：41
问题1：什么是命题逻辑？ 问题2：如何判断命题表达式的真假？ 问题3：如何判定命题可满足？
电子科技大学：《离散数学》课程教学资源（教学大纲）
文档格式：DOC　文档大小：53KB　文档页数：4
电子科技大学：《离散数学》课程教学资源（教学大纲）
东南大学：《离散数学》课程教学资源（PPT课件讲稿）第三章 命题逻辑的推理理论
文档格式：PPT　文档大小：566KB　文档页数：52
第一节 推理的形式结构 第二节 自然推理系统P
复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_08/29
文档格式：PPT　文档大小：452.5KB　文档页数：20
复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_08/29
复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_10/29
文档格式：PPT　文档大小：373.5KB　文档页数：12
复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_10/29
复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_12/29
文档格式：PPT　文档大小：535.5KB　文档页数：21
复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_12/29
复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_14/29
文档格式：PPT　文档大小：464.5KB　文档页数：25
复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_14/29
复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_16/29
文档格式：PPT　文档大小：422.5KB　文档页数：30
复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_16/29
首页上页4849505152535455下页末页
热门关键字
高数a1地物轴向拉伸食品原料学服装工程学和谐航空电气海洋学高代风险管理]风景园林规划设计法律讲座电影]电脑基础道德修养大学英语４大学英语（３）大学英文传统昌吉职业技术学院材料物理化学材料试验材料]病毒与病毒学鞍山科技大学安装工程YWindows编程n/aMMgood！《现代大学英语》DSP原理与应用5C语音程序设计《土力学》《邓小平理论《大学英语》《MATLAB》“国际航运经济学”
搜索一下，找到相关课件或文库资源 622 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有