{{#vardefine|_sitename|KGRC – Hans Adler}}{{menu|Hans Adler|Einführung in die mathematische Logik}}

;Ort
:[[Floor plan|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" ([/~adler/docs/gml.pdf 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==

{{Table top|Datum|Mittwoch|Freitag}}
{{Table row|5. Oktober      | ''frei''    |1. Vorlesung}}
{{Table row|10./12. Oktober | 2. Vorlesung|3. Vorlesung}}
{{Table row|17./19. Oktober | 4. Vorlesung|5. Vorlesung}}
{{Table row|24./26. Oktober | 6. Vorlesung|''Nationalfeiertag''}}
{{Table row|31. Oktober<br>2. November|7. Vorlesung|''Allerseelen''}}
{{Table row|7./9. November  | 8. Vorlesung| 9. Vorlesung}}
{{Table row|14./16. November|10. Vorlesung|11. Vorlesung}}
{{Table row|21./23. November|12. Vorlesung|13. Vorlesung}}
{{Table row|28./30. November|14. Vorlesung|15. Vorlesung}}
{{Table row|5./7. Dezember  |16. Vorlesung|17. Vorlesung}}
{{Table row|12./14. Dezember|18. Vorlesung|19. Vorlesung}}
{{Table row|19./21. Dezember|20. Vorlesung|''Weihnachtsferien''}}
{{Table row|26./28. Dezember|''Weihnachtsferien''|''Weihnachtsferien''}}
{{Table row|2./4. Jänner    |''Weihnachtsferien''|''Weihnachtsferien''}}
{{Table row|9./11. Jänner   |(ausgefallen)|21. Vorlesung}}
{{Table row|16./18. Jänner  |22. Vorlesung|23. Vorlesung}}
{{Table row|23./25. Jänner  |24. Vorlesung|25. Vorlesung}}
{{Table row|30. Jänner      |26. Vorlesung}}
{{Table bottom}}