This introductory textbook examines the theory of combinatorics. It includes proof of Van der Waerden's 1926 conjecture on permanents, Wilson's theorem on asymptotic existence, and covers coding theory and its important connection with designs, problems of enumeration, and partition.