Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion

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. ​ 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. Der Inhalt Mengen und Logik - Relationen und Funktionen - Zahlenmengen - Berechenbarkeit - Lösungen zu den Aufgaben Die Zielgruppen Studierende in den ersten Semestern von Bachelor-Studiengängen Informatik, Wirtschaftsinformatik, Medieninformatik, Medizinische Informatik, Bioinformatik, Ingenieurinformatik, Mathematik, Finanz-/Wirtschaftsmathematik, Technomathematik, Scientific Computing, Mathematische Software-Entwicklung Der Autor 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) Front Matter....Pages i-x Mengen und Logik....Pages 1-85 Relationen und Funktionen....Pages 87-116 Zahlenmengen....Pages 117-164 Berechenbarkeit....Pages 165-199 Lösungen zu den Aufgaben....Pages 201-213 Back Matter....Pages 215-222 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.