离散数学文库下载_中国高校课件下载中心

文档格式：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：群具有哪些性质？