|  Course Materials | 
   
    | Lecture | Topics | Related Files | 
   
    | 0 | Overview | [pdf] | 
   
    | 1 | Logic: Propositional Logic | [pdf] | 
   
    | 2 | Logic: Predicate Calculus | [pdf] | 
   
    | 3 | Logic: Rules of Inference | [pdf] | 
   
    | 4 | Proofs: Methods and Strategies | [pdf] | 
   
    | 5 | Proofs: Mathematical Induction | [pdf] | 
   
    | 6 | Proofs: Pigeonhole Principle | [pdf] | 
   
    | 7 | Counting: Basics | [pdf] | 
   
    | 8 | Counting: Permutation and Combination | [pdf] | 
   
    | 9 | Sets, Functions, and Relations:  Part I | [pdf] | 
   
    | 10 | Sets, Functions, and Relations:  Part II | [pdf] | 
   
    | 11 | Sets, Functions, and Relations:  Part III | [pdf] | 
   
    | 12 | Sets, Functions, and Relations:  Part IV | [pdf] | 
   
    | 13 | Graphs:  Introduction | [pdf] | 
   
    | 14 | Graphs:  Euler and Hamilton Paths | [pdf] | 
   
    | 15 | Graphs:  Planar Graphs | [pdf] | 
   
    | 16 | Trees:  Introduction | [pdf] | 
   
    | 17 | Trees:  Optimal Prefix Code | [pdf] | 
   
    | 18 | Trees:  Spanning Trees, Minimum Spanning Trees | [pdf] | 
   
    | 19 | Numbers:  Three Theorems from Euclid |  | 
   
    | 20 | Numbers:  Euler-Totient Function, RSA Encryption |  |