Vorlesung “Logische Grundlagen”
WS 2014/15
Meine Notizen zur Vorlesung einschließlich der Beamer-Folien finden Sie hier. Am Ende des Semesters finden Sie hier auch die gesamten Notizen in einem Gesamtdokument.
- 15.10.: Die axiomatische Methode, Mengenlehre und Prädikatenlogik
- 22.10.: Die Zermelo-Fraenkel-Axiome der Mengenlehre I
- 29.10.: Die Zermelo-Fraenkel-Axiome der Mengenlehre II
- 05.11.: Ordnungsrelationen; die Peano-Axiome der natürlichen Zahlen
- 12.11.: Die Konstruktion der natürlichen Zahlen
- 19.11.: keine Vorlesung
- 26.11.: Äquivalenzrelationen und die Konstruktion der ganzen Zahlen
- 03.12.: Die Konstruktion der rationalen Zahlen und ihrer Ordnung
- 10.12.: Die Konstruktion der reellen Zahlen
- 17.12.: Die Vollständigkeit der reellen Zahlen; Mächtigkeit von Mengen
- 07.01.: Kardinalzahlen, Cantors Diagonalargumente und der Satz von Cantor-Schröder-Bernstein
- 14.01.: Kontinuumshypothese, Ordinalzahlen und transfinite Induktion
- 21.01.: Ordinalzahlen und wohlgeordnete Mengen
- 28.01.: Das Lemma von Zorn