The mathematical foundations of computer science are introduced clearly through definitions and examples. The aim of this book, now in a corrected and updated edition, is to systematically present the typical and fundamental mathematical ways of thinking that are essential for computer science—without requiring special prior knowledge that goes beyond the usual school mathematics.

The content includes:

• Statements
• Sets and set operations
• Mathematical proof
• Relations
• Mappings and functions
• Basic proof strategies
• Complete induction
• Counting
• Discrete stochastic
• Boolean algebra
• Graphs and trees
• Propositional logic
• Modular arithmetic

Target audience:
Students of computer science in their major or minor starting from the first semester at universities, technical universities, and universities of applied sciences, as well as those interested in computer science from other fields.

The authors:
Prof. Dr. Christoph Meinel was the director of the Hasso Plattner Institute from 2004 to 2023 and a professor of Internet technologies and systems at the University of Potsdam. He is the author, co-author, and editor of numerous books, conference proceedings, and articles. Prof. Dr. Martin Mundhenk has been a professor of computer science at Friedrich Schiller University Jena since 2001. He is involved in research and teaching for both major and minor computer science programs there.