Mathematische Grundlagen fur die Informatik: Mengen, Logik, Rekursion

Logiken, Mengen, Relationen, Funktionen, Induktion und Rekursion sind grundlegende mathematische Konzepte und Methoden, die in allen Bereichen der Informatik fur die Beschreibung von Problemen und deren Loesung benoetigt werden. Das Beherrschen dieser Konzepte und Methoden ist Voraussetzung fur 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 Anwendungsmoeglichkeiten schrittweise vor. Das Verstandnis der Begriffe und deren Zusammenhang und Zusammenwirken wird u.a. durch Lernziele, integrierte UEbungsaufgaben mit Musterloesungen und Marginalien unterstutzt; das Buch ist zum Selbststudium geeignet.