1 Sets and Logic 2 Proofs 3 Functions, Sequences, and Relations 4 Algorithms 5 Introduction to Number Theory 6 Counting Methods and the Pigeonhole Principle 7 Recurrence Relations 8 Graph Theory 9 Trees 10 Network Models 11 Boolean Algebras and Combinatorial Circuits 12 Automata, Grammars, and Languages 13 Computational Geometry