Introduction — Sets, Logic, and Boolean Algebras — Proof — Algorithms — Counting — Finite Probability Theory — Recursion — Combinatorics — Formal Models in Computer Science — Graphs — Trees — Functions, Relations, Databases, and Circuits