复旦大学：《离散数学》习题课讲义（李弋）08 Syntax and semantics Soundness theorem Completeness theorem
文件格式: PDF大小: 57KB页数: 17
复旦大学：《离散数学》习题课讲义（李弋）07 Tableau proof system
文件格式: PDF大小: 38.56KB页数: 14
复旦大学：《离散数学》习题课讲义（李弋）06 Truth assignment Truth valuation Tautology Consequence
文件格式: PDF大小: 52.79KB页数: 20
复旦大学：《离散数学》习题课讲义（李弋）05 Formation tree Parsing algorithm
文件格式: PDF大小: 49.3KB页数: 20
复旦大学：《离散数学》习题课讲义（李弋）04 Propositions Truth table Adequacy
文件格式: PDF大小: 97.51KB页数: 54
复旦大学：《离散数学》习题课讲义（李弋）02 Special Lattices Boolean Algebra
文件格式: PDF大小: 58.38KB页数: 17
复旦大学：《离散数学》习题课讲义（李弋）01 Review of partial order set Review of abstract algebra Lattice and Sublattice
复旦大学：《离散数学》习题课讲义（李弋）01 Review of partial order set Review of abstract algebra Lattice and Sublattice
文件格式: PDF大小: 89.37KB页数: 38
• 支配集、点覆盖集与点独立集 • 边覆盖集与匹配 • 二部图中的匹配 • 点着色 • 地图着色与平面图的点着色 • 边着色
文件格式: PDF大小: 127.64KB页数: 28
