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