- Lecture 1: propositional logic
- Lecture 2: first order logic
- Lecture 3: methods of proofs
- Lecture 4: mathematical induction 1
- Lecture 5: mathematical induction 2
- Lecture 6: introduction to graphs
- Lecture 7: stable matching
- Lecture 8: bipartite matching
- Lecture 9: graph coloring
- Lecture 10: planar graph
- Lecture 11: sets
- Lecture 12: basic counting
- Lecture 13: binomial coefficient, inclusion-exclusion
- Lecture 14: functions, pigeonhole principle
- Lecture 15: counting by mapping
- Lecture 16: more counting by mapping
- Lecture 17: number sequences
- Lecture 18: recursion
- Lecture 19: solving recurrence