Table of Contents

1) The Foundations: Logic and Proofs

2) Basic Structures: Sets, Functions, Sequences, Sums, Matrices

3) Algorithms

4) Number Theory and Cryptography

5) Induction and Recursion

6) Counting

7) Discrete Probability

8) Advanced Counting Techniques

9) Relations

10) Graphs

11) Trees

12) Boolean Algebra

13) Modeling Computation

Appendices

About the Author

Ken Rosen (Middletown, NJ) is a distinguished member of the technical staff at AT & T Labs.