复旦大学：《离散数学 Discrete Mathematics》英文讲义_13 Tableau Proof of Predicate Logic
文件格式: PDF大小: 44.21KB页数: 4
复旦大学：《离散数学 Discrete Mathematics》英文讲义_12 Semantics of Predicated Language
文件格式: PDF大小: 152.95KB页数: 6
复旦大学：《离散数学 Discrete Mathematics》英文讲义_11 Term, Formula and Formation Tree
文件格式: PDF大小: 141.07KB页数: 6
复旦大学：《离散数学 Discrete Mathematics》英文讲义_10 Predicates and Quantifiers
文件格式: PDF大小: 124.08KB页数: 5
复旦大学：《离散数学 Discrete Mathematics》英文讲义_09 Deduction from Premises,Compactness, and Applications
文件格式: PDF大小: 191.05KB页数: 7
复旦大学：《离散数学 Discrete Mathematics》英文讲义_08 Soundness and Completeness of Propositional Logic
文件格式: PDF大小: 147.64KB页数: 4
复旦大学：《离散数学 Discrete Mathematics》英文讲义_07 Tableau Proof System
文件格式: PDF大小: 49.65KB页数: 4
复旦大学：《离散数学 Discrete Mathematics》英文讲义_06 Truth Assignments and Valuations
文件格式: PDF大小: 122.5KB页数: 5
复旦大学：《离散数学 Discrete Mathematics》英文讲义_05 Formation Tree and Parsing Algorithm
文件格式: PDF大小: 143.5KB页数: 6
复旦大学：《离散数学 Discrete Mathematics》英文讲义_04 Proposition, Connectives and Truth Tables
文件格式: PDF大小: 172.36KB页数: 6