Techniques of argument and the writing of proofs. 20%
Equivalence relations, one-to-one and onto functions and compositions, partial orders, Boolean algebras. 4%
Number theory, cryptography, computer representation of numbers, numerical precision. 17%
Mathematical induction, the well-ordering principle, ordinal numbers. 12%
Models of computation, Turing machines, automata, grammars. 10%
Computational complexity. 9%
The statement calculus, logical equivalence, normal forms. 16%
The predicate calculus, prenex normal form, axioms, consistency, independence. 12%