Basic techniques of abstract formal reasoning and, representation used in the mathematical sciences., First-order logic, elementary set theory, proof by, induction and other techniques, enumeration,, relations and functions, graphs, recurrence, relations.
- Teacher: Katherine Koon