Set theory -- Relations -- Functions and algorithms -- Logic and propositional calculus -- Techniques of counting-- Advanced counting techniques, recursion -- Probability -- Graph theory -- Directed graphs -- Binary trees --Properties of the integers -- Languages, automata, grammars -- Finite state machines and turing machines -- Ordered sets and lattices -- Boolean algebra -- Vectors and matrices -- Algebraic systems.