Discrete Mathematics for New Technology provides a sympathetic and accessible introduction to discrete mathematics, including the core mathematics requirements for undergraduate computer science students. The approach is comprehensive whilst maintaining an easy to follow progression from the basic mathematical ideas to the more sophisticated concepts examined in the latter stages of the book. Although the theory is presented rigorously, it is illustrated by the frequent use of pertinent examples and is further reinforced with exercises to enable the reader to achieve a comprehensive understanding of the subject at hand. Hints and solutions for many of these exercises are provided.

The second edition has been updated to include numerous new examples and exercises designed to illustrate and reinforce mathematical concepts and facilitate students' progression through the topics. There are new sections on typed set theory and the book now includes an introduction to formal specification.

Discrete Mathematics for New Technology is therefore a rare thing; a readable, friendly textbook designed for nonmathematicians, presenting material which is at the foundations of mathematics itself. It is essential reading for computing and mathematics undergraduates alike.