This text explains how to use mathematical models and methods to analyze problems that arise in computer science. Proofs play a central role in this work because
the authors share a belief with most mathematicians that proofs are essential for
genuine understanding.
Welcome to Discrete Mathematics. If this is your first time encountering
the subject, you will probably find discrete mathematics quite different
from other math subjects.