复旦大学：《离散数学 Discrete Mathematics》英文讲稿_13 Atomic tableaux Tableau proof Property of CST
文件格式: PDF大小: 185.58KB页数: 24
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_12 Structure Interpretation Truth Satisfiable Consequence
文件格式: PDF大小: 136.39KB页数: 27
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_11 Terms Formuals Formation tree
文件格式: PDF大小: 152.56KB页数: 30
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_10 Application of compactness theorem Limits of propositional logic Predicates and quantifiers
文件格式: PDF大小: 134.19KB页数: 22
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_09 Deduction from premises Compactness Applications
文件格式: PDF大小: 170.88KB页数: 25
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_08 Syntax and semantics Soundness theorem Completeness theorem
文件格式: PDF大小: 154.17KB页数: 17
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_07 Tableau proof system
文件格式: PDF大小: 116.4KB页数: 14
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_06 Truth assignment Truth valuation Tautology Consequence
文件格式: PDF大小: 144.84KB页数: 20
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_05 Formation tree Parsing algorithm
文件格式: PDF大小: 134.72KB页数: 20
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_04 Propositions Truth table Adequacy
文件格式: PDF大小: 150.59KB页数: 24