| Veranstalter: |
Prof. Dr. Ralf Schindler, Zi. 804 (Sekretariat Frau Pfeifer, Zi. 811) |
| Zeit und Ort der Vorlesung: |
Montag, 10-12 Uhr, M5 |
| Beginn: |
Die erste Vorlesung findet am 15.4. statt. |
| Belegnummern: |
Vorlesung: 104262, Übungen: 104258 |
| 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 |
| Übungen: |
Mi 12:00 bis 13:00, wöchentlich, SR 8
Mi 13:00 bis 14:00, wöchentlich, SR 8
Do 12:00 bis 13:00, wöchentlich, SR 8
Do 13:00 bis 14:00, wöchentlich, SR 8
|
| Klausur: |
Samstag, 25. Juli 2009 um 16:00 in den Räumen M1 und M2
|
| Wiederholungsklausur: |
Samstag, 10. Oktober 2009 um 8:00 im Raum M3
|
