复旦大学：《离散数学》习题课讲义（李弋）15 Application of Logic Limitation of First Order Logic
文件格式: PDF大小: 48.85KB页数: 16
复旦大学：《离散数学》习题课讲义（李弋）14 Soundness Completeness Compactness
文件格式: PDF大小: 44.76KB页数: 17
复旦大学：《离散数学》习题课讲义（李弋）13 Atomic tableaux Tableau proof Property of CST
文件格式: PDF大小: 73.6KB页数: 36
复旦大学：《离散数学》习题课讲义（李弋）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