Preface -- Sets and logic -- Proofs -- Functions, sequences, and relations -- Algorithms -- Introduction to number theory -- Counting methods and the pigeonhole principle -- Recurrence relations -- Graph theory -- Trees -- Network models -- Boolean algebras and combinatorial circuits -- Automata, grammars, and languages -- Computational geometry -- Appendix: A. Matrices ; B. Algebra review ; C. Pseudocode -- References -- Hints and solutions to selected exercises -- Index.