Zusammenfassung
Das erste Kapitel führt in die Sprache der Mathematik ein. Das geschieht aber bereits an Beispielen aus der Informatik. Nachdem wir uns mit der „Datenstruktur“ Menge beschäftigt haben, wird die Aussagen- und Prädikatenlogik betrachtet. Wir nutzen die Aussagenlogik, um ein Addierwerk zu bauen. Mit der vollständigen Induktion lernen wir ein Beweisverfahren kennen, das in ähnlicher Form bei formalen Korrektheitsbeweisen von Programmen eingesetzt wird. Als weiteres Beispiel für Beweise betrachten wir das Halteproblem der Theoretischen Informatik. Der Resolutionskalkül der Prädikatenlogik ist ein Algorithmus, mit dem man die Unerfüllbarkeit prädikatenlogischer Formeln nachweisen kann. Mit ihm können wir programmieren, denn er ist die Basis der Programmiersprache Prolog und die Idee hinter der Logikprogrammierung. Funktionen und Relationen führen wir ausgehend von endlichen Automaten ein. Relationen haben den relationalen Datenbanken ihren Namen gegeben. Mit Relationen erklären wir Äquivalenz- und Restklassen, die später im Buch z. B. für die RSA-Verschlüsselung verwendet werden. Nach dem Lesen dieses Kapitels haben Sie das elementare Rüstzeug, mathematische Aussagen zu lesen, aufzuschreiben und einfache Beweise durchzuführen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literatur
Ebbinghaus (2021). Ebbinghaus, H.-D. (2021) Einführung in die Mengenlehre. Springer-Spektrum, Berlin Heidelberg.
Schöning (2008). Schöning U. (2008) Ideen der Informatik: Grundlegende Modelle und Konzepte. Oldenbourg, München.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2023 Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature
About this chapter
Cite this chapter
Goebbels, S., Rethmann, J. (2023). Grundlagen. In: Eine Einführung in die Mathematik an Beispielen aus der Informatik. Springer Spektrum, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-67675-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-67675-2_1
Published:
Publisher Name: Springer Spektrum, Berlin, Heidelberg
Print ISBN: 978-3-662-67674-5
Online ISBN: 978-3-662-67675-2
eBook Packages: Life Science and Basic Disciplines (German Language)