复旦大学：《离散数学 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
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_03
文件格式: PDF大小: 163.66KB页数: 20
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_02 Special Lattices Boolean Algebra
文件格式: PDF大小: 166.58KB页数: 17
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_01 Review of partial order set Review of abstract algebra Lattice and Sublattice
文件格式: PDF大小: 128.35KB页数: 15
复旦大学：《离散数学 Discrete Mathematics》英文讲稿_overview
文件格式: PDF大小: 55.36KB页数: 7
