---

Logiken, Mengen, Relationen, Funktionen, Induktion und Rekursion sind grundlegende mathematische Konzepte und Methoden, die in allen Bereichen der Informatik für die Beschreibung von Problemen und deren Lösung benötigt werden. Das Beherrschen dieser Konzepte und Methoden ist Voraussetzung für das Studium fast aller weiteren Informatik-Module, nicht nur in Bereichen der Mathematik und der Theoretischen Informatik, sondern auch in Bereichen der Praktischen Informatik, wie z.B. Programmierung, Datenstrukturen, Algorithmen und Datenbanken. Das Buch stellt die grundlegenden Begriffe, ihre Eigenschaften und Anwendungsmöglichkeiten schrittweise vor. Das Verständnis der Begriffe und deren Zusammenhang und Zusammenwirken wird u.a. durch Lernziele, integrierte Übungsaufgaben mit Musterlösungen und Marginalien unterstützt; das Buch ist zum Selbststudium geeignet.

---

Mengen und Logik.- Relationen und Funktionen.- Zahlenmengen.- Berechenbarkeit.- Lösungen zu den Aufgaben.

---

From the book reviews:
"This textbook gives a thorough introduction to some basic mathematics every computer science student should understand before getting deeper into the particular questions of his or her profession. The main themes are logic, naive set theory, number systems and recursion and computability theory. It is meant as a one-semester course for first-year students. ... It is an excellent addition to the impressive series of textbooks by the author." (Klaus D. Kiermeier, zbMATH, Vol. 1291, 2014)

---

Prof. Dr. Kurt-Ulrich Witt, Hochschule Bonn-Rhein-Sieg, Fachbereich Informatik, Direktor des Applied Science Institute am Bonn-Aachen International Center for Information Technology (b-it)

---