Updated and expanded, Discrete Mathematics for New Technology, Second Edition provides a sympathetic and accessible introduction to discrete mathematics, including the core mathematics requirements for undergraduate computer science students. The approach is comprehensive yet maintains 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-some with hints and solutions-to enable the reader to achieve a comprehensive understanding of the subject at hand.
New to the Second Edition
Numerous new examples and exercises designed to illustrate and reinforce mathematical concepts and facilitate students' progression through the topics
New sections on typed set theory and an introduction to formal specification
Presenting material that is at the foundations of mathematics itself, Discrete Mathematics for New Technology is a readable, friendly textbook designed for non-mathematicians as well as for computing and mathematics undergraduates alike.
Rowan Garnier and John Taylor have extensive experience of teaching undergraduate mathematics at colleges and universities in the British and American systems. They have developed and taught courses for a variety of non-specialists and have established reputations for presenting rigorous mathematical concepts in a manner which is accessible to this audience. Their current research interests include diagrammatic reasoning and its use in rigorous software modelling.