Zusammenfassung
In diesem Kapitel werden grundlegende mathematische Begriffe definiert. Wir geben in den ersten zwei Abschnitten eine Einführung in die Begriffe der Aussagenlogik, der Prädikatenlogik und der naiven Mengenlehre anhand von Definitionen und Beispielen. Die folgenden zwei Abschnitte sind Relationen und Funktionen gewidmet.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Wir verzichten hier darauf, die Grammatik einer logischen Sprache einzuführen, und verweisen auf Rautenberg (2008).
- 2.
Wir verzichten darauf, die Grammatik der Prädikatenlogik einzuführen, und verweisen wieder auf Rautenberg (2008). Es sei nur angemerkt, dass Quantoren grundsätzlich stärker binden als Junktoren, also nicht geklammert werden müssen.
- 3.
Der Mengenbegriff lässt sich durch das System von Zermelo und Fränkel axiomatisch einführen. Wir verzichten hier darauf und verweisen auf Deiser (2010).
- 4.
Manche Autoren lassen auch Klassen von Morphismen, die keine Mengen sind, zu und bezeichnen die hier definierten Kategorien als lokal klein.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2020 Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature
About this chapter
Cite this chapter
Neunhäuserer, J. (2020). Grundlagen. In: Mathematische Begriffe in Beispielen und Bildern. Springer Spektrum, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-60764-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-60764-0_1
Published:
Publisher Name: Springer Spektrum, Berlin, Heidelberg
Print ISBN: 978-3-662-60763-3
Online ISBN: 978-3-662-60764-0
eBook Packages: Life Science and Basic Disciplines (German Language)