Witt, Kurt-Ulrich Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion

'Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion' von Kurt-Ulrich Witt bietet eine umfassende Einführung in die wesentlichen mathematischen Konzepte, die für das Studium der Informatik erforderlich sind. Das Buch deckt drei Hauptthemen ab: Mengenlehre, formale Logik und Rekursion. Im Abschnitt über Mengen werden grundlegende Begriffe wie Teilmengen, Vereinigungen, Durchschnitte und kartesische Produkte behandelt. Diese Konzepte bilden die Grundlage für viele Bereiche der Informatik. Der Teil über Logik konzentriert sich auf Aussagenlogik und Prädikatenlogik. Hier wird erklärt, wie logische Ausdrücke formuliert und ausgewertet werden können, was entscheidend für das Verständnis von Algorithmen und Programmiersprachen ist. Der Abschnitt über Rekursion behandelt rekursive Definitionen und Verfahren, die in der Informatik häufig zur Lösung komplexer Probleme eingesetzt werden. Der Autor erläutert auch mathematische Induktion als Methode zum Beweis rekursiver Algorithmen. Durch zahlreiche Beispiele und Übungsaufgaben wird das theoretische Wissen praxisnah vermittelt. Das Buch richtet sich an Studierende der Informatik sowie an alle, die ein tieferes Verständnis für die mathematischen Grundlagen dieses Fachgebiets erlangen möchten.