Vorlesung: Unabhängigkeitsbeweise WS 2018 / 2019

Zeit/Ort:	Di & Do 12-14 Uhr, SR 404, Ernst-Zermelo-Straße 1
Dozentin:	Heike Mildenberger
Sprechstunde Dozentin:	n. V.
Mitwirkung bei den Übungen	Brendan Stuber-Rousselle
Sprechstunde Assistent:	n. V.
Übungen:	Patrick Meurin	Do, 14-16 Uhr, SR 127, Ernst-Zermelo-Str. 1

Studienleistung

• Mindestens 50% der erreichbaren Punkte in den schriftlich zu bearbeitenden Übungsaufgaben.
• Aktive mündliche Beteiligung in der Übungsgruppe oder alternativ eine kurze mündliche Prüfung bei mir am Ende der Vorlesungszeit.
• Abgegebene Übungsaufgaben müssen auf Aufforderung durch den Tutor an der Tafel vorgerechnet werden können.

Prüfungsleistung

• Mündliche Prüfung

Bitte beachten Sie die weiteren Hinweise zu Studien- und Prüfungsleistungen im Modulhandbuch zu Ihrem Studiengang.

Literatur

Folgende Literatur wird empfohlen:

• Set Theory. An Introduction to Independence proofs, Ken Kunen, 1980
• Skript Skript in der Version vom 23.10.2018. Wenn Sie Fehler finden, teilen Sie mir dies bitte mit.
• Set Theory, Kunen, 1. Auflage 2011 oder 2. Auflage von 2013.
• Set Theory. The Millenium Edition, Thomas Jech, Springer 2003 (PDF online über die UB zum Herunterladen.)

Übungsblätter

Die Übungsblätter werden wöchentlich auf dieser Seite veröffentlicht.

Blatt	Ausgabe	Abgabe
Blatt 0	16.10.2018	keine
Blatt 1	16.10.2018	23.10.2018
Blatt 2	23.10.2018	30.10.2018
Blatt 3	30.10.2018	06.11.2018
Blatt 4	06.11.2018	13.11.2018

Anmeldung/Organisatorisches

Termin: Die Abgabe der Hausaufgaben findet jeweils dienstags vor der Vorlesung statt. Sie können Ihre Aufgaben auf das Pult im SR 404 oder in den Kasten im Logikflur legen. Die Aufgaben sind einzeln abzugeben.

Version der Seite vom 22.10.2018, HM