Zusammenfassung
Neben der Mengenlehre ist die Logik das zweite Fundament der Mathematik. Die Mengenlehre wird gebraucht, um die Objekte, für die man sich in der Mathematik interessiert, zu konstruieren, zu modellieren und zu manipulieren. Bisher kennen wir Paare, Relationen und Funktionen. Später werden noch lineare Listen, Bäume und Graphen dazukommen. Die Logik wird gebraucht, wenn in der Mathematik Beweise geführt werden, also in einer gewissen (logischen) Art und Weise argumentiert wird, um zu zeigen, dass eine Aussage wahr ist. Im Folgenden gehen wir auf die logischen Grundlagen der Mathematik ein. Auch hier wählen wir wieder einen naiven Zugang. Für die formale mathematische Logik gibt es im Laufe des Informatik-Studiums eigene Vorlesungen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Berghammer, R. (2017). Logische Grundlagen. In: Mathematik für die Informatik. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-16712-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-658-16712-7_2
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-16711-0
Online ISBN: 978-3-658-16712-7
eBook Packages: Computer Science and Engineering (German Language)