逻辑数学文库下载_中国高校课件下载中心

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

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

文档格式：PDF　文档大小：38.56KB　文档页数：14

复旦大学：《离散数学》习题课讲义（李弋）07 Tableau proof system

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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