Includes index.

Statements and proofs -- Set notation -- The logical framework -- Natural numbers -- Functions -- How to count -- Integers -- Divisibility and prime numbers -- Fractions and real numbers -- Principles of counting -- Subsets and designs -- Partition, classification and distribution -- Modular arithmetic -- Algorithms and their efficiency -- Graphs -- Trees, sorting and searching -- Bipartite graphs and matching problems -- Digraphs, networks and flows -- Recursive techniques -- Groups -- Groups of permutations -- Rings, fields and polynomials-- Finite fields and some applications -- Error-correcting codes -- Generating functions -- Partitions of a positive integer -- Symmetry and counting.