Unabhängigkeitsbeweise, WS 2018/2019

Zeit/Ort: Di & Do 12-14 Uhr, SR 404, Ernst-Zermelo-Straße 1
Dozent: Heike Mildenberger
Sprechstunde Dozent: n. V.
Tutorium: Brendan Stuber-Rousselle
Sprechstunde Assistent:
E-Mail-Anfragen: brendan.stuber.rousselle@gmail.com

Studienleistung/Prüfungsleistung

Notwendig sind:

  • Mindestens 50% der erreichbaren Punkte auf die schriftlich zu bearbeitenden Übungsaufgaben.
  • Aktive mündliche Beteiligung.
  • Abgegebene Übungsaufgaben müssen auf Aufforderung durch den Tutor/die Tutorin hin an der Tafel präsentiert werden können.

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

Literatur

Folgende Literatur wird empfohlen:

  • Set Theory. An intraduction to independence proofs, Ken Kunen, 1980
  • Altes Skript Skript
  • Set Theory, Kunen, 2011 oder Auflage von 2013
  • Set Theory, Thomas Jech

Übungsblätter

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

Blatt Ausgabe Abgabe
Blatt 0 16.10.2018 keine
Blatt 1 16.10.2018 23.10.2018

Anmeldung/Organisatorisches

Termin: In der ersten Vorlesungsstunde legen wir den Termin fuer die Übungsgruppe fest. Falls Sie teilnehmen möchten, kommen Sie bitte zur Abstimmung oder schicken Sie eine Vertretung!

Die Übungsgruppe beginnt mit den Anwesenheitsaufgaben auf Blatt 0. 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.

Unabhängigkeitsbeweise Wintersemester 2018/19
Blume

Unabhängigkeitsbeweise
Wintersemester 2018/19

Universitätssiegel
Mathematisches Institut Abteilung für Math. Logik

Dies ist die Homepage der Vorlesung "Unabhängigkeitsbeweise" im Wintersemester 2018/19.

Lehrpersonen

Vorlesung: Heike Mildenberger
Übungsblätter: Brendan Stuber-Rousselle
Tutor: Patrick Meurin

Aus dem kommentierten Vorlesungsverzeichnis

Die Beschreibung vom Juni 2018.

Vorlesung

Dienstags und donnerstags von 10 - 12 im SR 404 in der Ernst-Zermelo-Straße 1.

Übungsgruppe

Termin: In der ersten Vorlesungsstunde legen wir den Termin fuer die Übungsgruppe fest. Falls Sie teilnehmen möchten, kommen Sie bitte zur Abstimmung oder schicken Sie eine Vertretung!

Die Übungsgruppe beginnt mit den Anwesenheitsaufgaben auf Blatt 0. 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.

Übungsblätter

Blatt 0
Blatt 1, Abgabe am 23.10.2018

Studienleistung und Zulassung zur Prüfungsleistung

Wie in der Ergänzung zum Modulhandbuch beschrieben.
© October 2018, by H.M.