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.
