Blume

Mathematische Logik
Sommersemester 2018

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

Dies ist die Homepage der Vorlesung "Mathematische Logik" im Sommersemester 2018.

Lehrpersonen

Vorlesung: Heike Mildenberger
Übungsblätter: Giorgio Laguzzi
Tutoren: Tobias Engler und Brendan Stuber-Rousselle

Aus dem kommentierten Vorlesungsverzeichnis

Die Beschreibung vom Dezember 2017.

Zeit und Ort

Vorlesung: Dienstags und donnerstags von 10 - 12 im HS II in der Albertstr. 23b.

Übungsgruppe 1
Mittwoch, 12-14, SR 403
Tutor: Brendan Stuber-Rousselle

Übungsgruppe 2
Donnerstag, 16-18, SR 127
Tutor: Tobias Engler
Die Übungsgruppen beginnen in der ersten Woche mit den Anwesenheitsaufgaben auf Blatt 0. Die Abgabe der Hausaufgaben findet jeweils dienstags vor der Vorlesung statt.

Übungen

Vorsicht. Aufgabe 2 auf Blatt 3 in der Version vom 1.5.2018 hatte einen Fehler, und jene Version wurde am 3.5.2018 ausgewechselt. Die Sprache soll nur die kleine Sprache ohne Gleichheitszeichen sein.

Studienleistung und Zulassung zur Prüfungsleistung

Wie in der Ergänzung zum Modulhandbuch beschrieben.
Klausur für Bachelorstudent(inn)en am 19.7.2018 von 10:00 - 12:00. Die Masterstudent(inn)en erhalten die Studienleistung durch die Hausaufgaben. Die Hausaufgabenblätter sind alleine einzureichen.
© January 2018, last update April 16, 2018, by H.M.