Contents Preface The Companion Website To the Student 1. The Foundations: Logic and Proof, Sets and Functions I 2. The Fundamentals: Algorithms, the Integers and Matrics 119 3. Mathematical Reasoning, Induction and Recursion 213 4. Counting 5. Discrete Probability 355 6. Advanced Counting Techniques 401 7. Relations 471 8. Graphs 537 9. Trees 631 10. Boolean Algebra 701 11. Modeling Computation 739 Appendixes: Suggested Readings Answers to Odd-Numbered Exercises Photo Credits Index of Biographies Index *USA edition hardcover price