Einführung in die mathematische Logik
- Ort
- Seminarraum (Raum 101), Währinger Straße 25 (über dem medizinhistorischen Museum)
- Zeit
- Mittwoch, Freitag 15:30 17:00. 1. Termin am Freitag, 5. Oktober.
Stoff
Vorausgesetzte Kenntnisse: Umfang der Bachelor-Vorlesung "Grundbegriffe der mathematischen Logik" (Skript): Rekursionstheorie bis etwa zum Halteproblem, Logik 1. Stufe bis etwa zum 1. Gödelschen Unvollständigkeitssatz. Aber notfalls wird es wohl auch so gehen.
Voraussichtlicher Inhalt der Vorlesung:
- Vertiefung der Prädikatenlogik der 1. Stufe
- Anfangsgründe der formalen Mengenlehre auf Basis der Prädikatenlogik
(Eventuell werden diese beiden Themen nicht strikt nacheinander sondern im Wechsel behandelt.)
Auf dieser Vorlesung wird voraussichtlich die Vorlesung Mengenlehre 1 im nächsten Semester aufbauen.
Termine
Datum | Mittwoch | Freitag |
---|---|---|
5. Oktober | frei | 1. Vorlesung |
10./12. Oktober | 2. Vorlesung | 3. Vorlesung |
17./19. Oktober | 4. Vorlesung | 5. Vorlesung |
24./26. Oktober | 6. Vorlesung | Nationalfeiertag |
31. Oktober 2. November | 7. Vorlesung | Allerseelen |
7./9. November | 8. Vorlesung | 9. Vorlesung |
14./16. November | 10. Vorlesung | 11. Vorlesung |
21./23. November | 12. Vorlesung | 13. Vorlesung |
28./30. November | 14. Vorlesung | 15. Vorlesung |
5./7. Dezember | 16. Vorlesung | 17. Vorlesung |
12./14. Dezember | 18. Vorlesung | 19. Vorlesung |
19./21. Dezember | 20. Vorlesung | Weihnachtsferien |
26./28. Dezember | Weihnachtsferien | Weihnachtsferien |
2./4. Jänner | Weihnachtsferien | Weihnachtsferien |
9./11. Jänner | (ausgefallen) | 21. Vorlesung |
16./18. Jänner | 22. Vorlesung | 23. Vorlesung |
23./25. Jänner | 24. Vorlesung | 25. Vorlesung |
30. Jänner | 26. Vorlesung |