Mathematics of Discrete Structures for Computer Science

Approaching mathematics from a computer science viewpoint, this book defines ways of calculating the results of applying the operators, then shows how they satisfy various properties. The comprehensive text is supplemented with summaries, proofs and exercises.