Here are topics and exercises to review for the final exam:

**truth tables**(and related definitions of satisfiability, unsatisfiability, tautologies)- Exam #1: Exercises #1 & #2
- Exam #4: Exercise #5(a)
- Quiz #1: Exercise #2

**set operations**(union, intersection, power set, Cartesian product):- Exam #2: Exercises #2 & #4

**proofs (direct & indirect):**- Exam #2: Exercises #1
- Exam #4: Exercise #5(b)
- Quiz #3

**recurrence relations:**- Quiz #4: Exercise #2
- Exam #3: Exercise #4

**algorithms:**- Quiz #4: Exercise #1
- Exam #3: Exercises #2 & #3
- Exam #4: Exercise #3