This textbook has been designed to cover the core mathematics requirements for undergraduate computer science students. The text follows a straightforward progression from the basic mathematical concepts covered by the GCSE to more sophisticated concepts which are illustrated with examples and exercises. Hints and solutions are provided for all brain-teasers listed in the book. Topics include logic and the nature of mathematical proof, set theory, relations and functions, matrices and systems of linear equations, algebraic structures, Boolean algebras and graph theory.

The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particular, undergraduate mathematics students often experience difficulties in understanding and constructing proofs.

Understanding Mathematical Proof describes the nature of mathematical proof, explores the various techniques that mathematicians adopt to prove their results, and offers advice and strategies for constructing proofs. It will improve students ability to understand proofs and construct correct proofs of their...