| Veranstalter: |
Prof. Dr. Ralf Schindler, Zi. 804 (Sekretariat Frau Pfeifer, Zi. 811) |
| Zeit und Ort der Vorlesung: |
Mittwoch, 8-10 Uhr, M3 |
| Beginn: |
Die erste Vorlesung findet am 09.04. statt. |
| Belegnummern: |
Vorlesung: 104256, Übungen: 104260 |
| Inhalt: |
Die Vorlesung bietet eine Einführung in grundlegende Begriffe und Methoden, die in der Mathematik allgegenwärtig sind. Dabei werden u.a. die folgenden Themen behandelt: Natürliche Zahlen, Induktion, das Auswahlaxiom und seine Äquivalenzen, reelle Zahlen und Mengen reeller Zahlen. Im weiteren Verlauf wenden wir uns logischen Hilfsmitteln wie Beweisen und Modellen zu. Mit Hilfe des Kompaktheitssatzes der Logik 1. Stufe werden wir Nichtstandard-Modelle der Theorien der natürlichen bzw. reellen Zahlen konstruieren |
| Literatur: |
Skript
|
| Übungen: |
Mi 10:00 bis 11:00, wöchentlich, SR 8
Mi 11:00 bis 12:00, wöchentlich, SR 8
Mi 12:00 bis 13:00, wöchentlich, SR 8
Mi 13:00 bis 14:00, wöchentlich, SR 8
|