Discrete Mathematics for Computing

This is a short, concise introduction to key mathematical ideas for computer scientists which develops their understanding of discrete mathematics and its application in computing. The author presents numerous worked examples and practice exercises with full solutions so readers see how to work with the mathematical concepts covered, thereby developing their own competence. Reliance on previous mathematical experience is kept to a minimum, though some basic algebraic manipulation is required. The content constitutes an accepted core of mathematics for computer scientists (for example, the formal methods used in computer science draw heavily on the discrete mathematical concepts covered here, particularly logic, sets, relations and functions). The topics are presented in a well defined, logical order that build upon each other and are constantly reinforced by worked examples. Emphasis is placed on clear and careful explanations of basic ideas and on building confidence in developing mathematical competence through carefully selected exercises. This book is designed for computer scientists with modest familiarity of mathematics who are looking to understand the more mathematical side of computing and programming concepts.