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

文档格式：PDF　文档大小：44.76KB　文档页数：17

复旦大学：《离散数学》习题课讲义（李弋）14 Soundness Completeness Compactness

文档格式：PDF　文档大小：173.18KB　文档页数：80

复旦大学：《离散数学》习题课讲义（李弋）12 Structure Interpretation Truth Satisfiable Consequence

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

复旦大学：《离散数学》习题课讲义（李弋）10 Limits of propositional logic Predicates and quantifiers Language of predicate logic

文档格式：PDF　文档大小：3.28MB　文档页数：163

上海交通大学：《离散数学》课程教学资源（讲义）图论——第四章（平面图与图的着色）

文档格式：PDF　文档大小：1.76MB　文档页数：88

上海交通大学：《离散数学》课程教学资源（讲义）图论——第三章（树）

文档格式：PPT　文档大小：161KB　文档页数：23

上海交通大学：《离散数学》课程教学资源（PPT课件）第四章平面图与图的着色

文档格式：PPT　文档大小：281.5KB　文档页数：78

上海交通大学：《离散数学》课程教学资源（PPT课件）第二章命题逻辑的等值和推理演算

文档格式：PPT　文档大小：1.08MB　文档页数：86

1、图的基本概念 2、图的存储表示 3、图的遍历与连通性 4、最小生成树 5、最短路径 6、活动网络

文档格式：DOC　文档大小：378.5KB　文档页数：8

上海交通大学：《离散数学》课程教学资源（试卷习题）历届考试试题_试卷（A卷）试卷

文档格式：PDF　文档大小：5.82MB　文档页数：327

上海交通大学：《离散数学》课程教学资源（讲义）第二章题逻辑的等值与推理演算