TY  - BOOK
U1  - Buch
A1  - Witt, Kurt-Ulrich
T1  - Mathematische Grundlagen für die Informatik
BT  - Mengen, Logik, Rekursion
N2  - 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.
KW  - Mathematische Logik
KW  - Mengenlehre
KW  - Boolesche Algebra
KW  - Graphentheorie
KW  - Lehrbuch
Y1  - 2013
SN  - 978-3-658-03078-0
SB  - 978-3-658-03078-0
U6  - https://doi.org/10.1007/978-3-658-03079-7
DO  - https://doi.org/10.1007/978-3-658-03079-7
SP  - 222
S1  - 222
PB  - Springer Vieweg
CY  - Wiesbaden
ER  -