复旦大学：《离散数学》习题课讲义（李弋）12 Structure Interpretation Truth Satisfiable Consequence
文件格式: PDF大小: 173.18KB页数: 80
复旦大学：《离散数学》习题课讲义（李弋）11 Terms Formuals Formation tree
文件格式: PDF大小: 72.64KB页数: 30
复旦大学：《离散数学》习题课讲义（李弋）10 Limits of propositional logic Predicates and quantifiers Language of predicate logic
文件格式: PDF大小: 53.63KB页数: 20
复旦大学：《离散数学》习题课讲义（李弋）09 Deduction from premises Compactness Applications
文件格式: PDF大小: 59.5KB页数: 25
复旦大学：《离散数学》习题课讲义（李弋）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
