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

文档格式：PDF　文档大小：135.78KB　文档页数：4

复旦大学：《离散数学 Discrete Mathematics》英文讲义_03 Introduction to Logic

文档格式：PDF　文档大小：196.94KB　文档页数：7

复旦大学：《离散数学 Discrete Mathematics》英文讲义_01 Lattice（I）

文档格式：PDF　文档大小：104.01KB　文档页数：15

复旦大学：《离散数学 Discrete Mathematics》英文讲稿_14 Soundness Completeness Compactness

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

复旦大学：《离散数学 Discrete Mathematics》英文讲稿_12 Structure Interpretation Truth Satisfiable Consequence

文档格式：PDF　文档大小：134.19KB　文档页数：22

复旦大学：《离散数学 Discrete Mathematics》英文讲稿_10 Application of compactness theorem Limits of propositional logic Predicates and quantifiers

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

复旦大学：《离散数学 Discrete Mathematics》英文讲稿_08 Syntax and semantics Soundness theorem Completeness theorem

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

复旦大学：《离散数学 Discrete Mathematics》英文讲稿_06 Truth assignment Truth valuation Tautology Consequence

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

复旦大学：《离散数学 Discrete Mathematics》英文讲稿_04 Propositions Truth table Adequacy

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

复旦大学：《离散数学 Discrete Mathematics》英文讲稿_02 Special Lattices Boolean Algebra

文档格式：PDF　文档大小：55.36KB　文档页数：7

复旦大学：《离散数学 Discrete Mathematics》英文讲稿_overview