Set theory; Relations; Functions; Graph theory; Propositional calculus and predicate calculus; Mathematical reasoning: induction, contradiction and recursion; counting; Principles of inclusion and exclusion; Recurrence relations; Algebraic structures: rings and groups.