Offers an exposition of discrete mathematics, including the core mathematical foundation of computer science. This book includes a section on the formal proof of the validity of arguments in propositional logic and predicate logic. It also contains a chapter on elementary number theory and congruences.