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

文档格式：PPTX　文档大小：13.31MB　文档页数：34

问题1：什么叫证明？问题2：常见的证明方法有哪些？问题3：什么是猜想？有哪些有意思的猜想？

文档格式：PPTX　文档大小：718.94KB　文档页数：40

问题1：如何基于命题逻辑进行推理？问题2：什么是(一阶)谓词逻辑？问题3：如何基于谓词逻辑进行推理？

文档格式：PPTX　文档大小：450.48KB　文档页数：41

问题1：什么是命题逻辑？问题2：如何判断命题表达式的真假？问题3：如何判定命题可满足？

文档格式：DOC　文档大小：53KB　文档页数：4

电子科技大学：《离散数学》课程教学资源（教学大纲）

文档格式：PPT　文档大小：566KB　文档页数：52

第一节推理的形式结构第二节自然推理系统P

文档格式：PDF　文档大小：141.07KB　文档页数：27

• 欧拉图 • 哈密顿图 • 最短路问题与货郎担问题

文档格式：PDF　文档大小：113.31KB　文档页数：24

• 平面图的基本概念 • 欧拉公式 • 平面图的判断 • 平面图的对偶图

文档格式：PDF　文档大小：89.37KB　文档页数：38

复旦大学：《离散数学》习题课讲义（李弋）01 Review of partial order set Review of abstract algebra Lattice and Sublattice

文档格式：PDF　文档大小：54.35KB　文档页数：20

复旦大学：《离散数学》习题课讲义（李弋）03

文档格式：PDF　文档大小：49.3KB　文档页数：20

复旦大学：《离散数学》习题课讲义（李弋）05 Formation tree Parsing algorithm