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

文档格式：PDF　文档大小：72.64KB　文档页数：30

复旦大学：《离散数学》习题课讲义（李弋）11 Terms Formuals Formation tree

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

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

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

复旦大学：《离散数学》习题课讲义（李弋）08 Syntax and semantics Soundness theorem Completeness theorem

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

复旦大学：《离散数学》习题课讲义（李弋）06 Truth assignment Truth valuation Tautology Consequence

文档格式：PDF　文档大小：97.51KB　文档页数：54

复旦大学：《离散数学》习题课讲义（李弋）04 Propositions Truth table Adequacy

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

复旦大学：《离散数学》习题课讲义（李弋）02 Special Lattices Boolean Algebra

文档格式：PDF　文档大小：134.57KB　文档页数：30

• 无向树及其性质 • 生成树 • 根树及其应用

文档格式：PDF　文档大小：236.86KB　文档页数：62

图的概念通路与回路图的连通性图的矩阵表示图的运算

文档格式：PPT　文档大小：190.5KB　文档页数：19

复旦大学：《离散数学》PPT教学课件（赵一鸣）27/28

文档格式：PPT　文档大小：241.5KB　文档页数：13

复旦大学：《离散数学》PPT教学课件（赵一鸣）25/28