Sentential Logic: deductive reasoning, logical connectives, truth tables, variables, sets, operations on sets.
Quantificational Logic: quantifiers, equivalences involving quantifiers, other operations on sets.
Proofs: proof strategies, existence and uniqueness proofs.
Relations: ordered pairs, Cartesian products, relations.
Functions: functions, injective and surjective functions, inverses of functions, images and inverse images.
Mathematical induction: proofs by mathematical induction, recursion.
Infinite sets: equinumerous sets, countable and uncountable sets.