As promised by its title, the book surveys several mathematical topics relevant to computer science such as predicate logic, number theory, coding theory, statistics, calculus, and graph theory. Some less mathematical topics are also treated, for example software engineering, formal methods, and computability. The book’s scope is rather broad than deep, and its level is suitable for first year students of computer science. By demonstrating the richness of the computing field, the book can hopefully help attracting a more diverse next generation of computer science students.

Reviewer:

Johan Georg Granström (Zürich)