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:

(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

DatumMittwochFreitag
5. Oktober frei 1. Vorlesung
10./12. Oktober2. Vorlesung3. Vorlesung
17./19. Oktober4. Vorlesung5. Vorlesung
24./26. Oktober6. VorlesungNationalfeiertag
31. Oktober
2. November
7. VorlesungAllerseelen
7./9. November 8. Vorlesung9. Vorlesung
14./16. November10. Vorlesung11. Vorlesung
21./23. November12. Vorlesung13. Vorlesung
28./30. November14. Vorlesung15. Vorlesung
5./7. Dezember 16. Vorlesung17. Vorlesung
12./14. Dezember18. Vorlesung19. Vorlesung
19./21. Dezember20. VorlesungWeihnachtsferien
26./28. DezemberWeihnachtsferienWeihnachtsferien
2./4. Jänner WeihnachtsferienWeihnachtsferien
9./11. Jänner (ausgefallen)21. Vorlesung
16./18. Jänner 22. Vorlesung23. Vorlesung
23./25. Jänner 24. Vorlesung25. Vorlesung
30. Jänner 26. Vorlesung

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2013-01-10, 21:57.