Topics may include: set theory, logic, methods of proof, combinatorics, recurrence relations, graphs, and Boolean algebra.