Software is an essential part in various facets of our daily life. Mobility,production, energy supply, economics, and infrastructure, to name only afew examples, strongly depend on software. This software is not always ofhigh quality. Critical issues that arose from poor software quality are evenreported manifold publicly in the press. For example, Denver InternationalAirport opened, delayed, …
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. Proofs also play a growing role in computer science; they are used to certify that software and hardware will always behave correc…