The foundations : logic and proofs -- Basic structures : sets, functions, sequences, and sums -- The fundamentals : algorithms, the integers, and matrices -- Induction and recursion -- Counting -- Discrete probability -- Advanced counting techniques -- Relations -- Graphs -- Trees -- Boolean algebra -- Modeling computation.