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. This 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 which include a specification-based approach to mathematical operators. Although aimed primarily at computer science and software engineering students, the structured development of the mathematics makes this text suitable for undergraduate mathematicians, scientists and others who require an understanding of the theory and applications of discrete mathematics.