Discrete Structures：离散结构 课程： McGill MATH 240 §1 Sets：集合 §2 Counting principles：计数原理 §3 Permutations 与 combinations §4 Recurrence relations：递推关系 §5 Propositional logic §6 Tautologies、predicates 与 quantifiers §7 Direct proofs 与 contrapositives §8 Pigeonhole principle、contradiction 与 cases