Die ist die Homepage der Vorlesung
"Mathematische Logik" im Sommersemester 2016.
Lehrpersonen
Vorlesung: Heike Mildenberger
Übungsblätter: Fiorella Guichardaz
Tutoren: Andreas Engert,
Daniel Kurz
Aus dem kommentierten Vorlesungsverzeichnis
Die Beschreibung vom Januar 2016.
Homepage der Übungen
Hier gibt es die
Übungsblätter.
Blatt 3 vom 3.5.2016.
Aufgabe 1 auf Blatt 8 ist falsch. Siehe
http://math.stackexchange.com/questions/1829930/every-transitive-in-linearly-ordered-set-is-in-well-ordered-without-axiom
Literatur
Hier ist ein Skript einer ähnlichen von Mildenberger
an der Universität Wien gehaltenen Vorlesung Skript von 2008. Bitte schreiben Sie eine Mail an heike.mildenberger@math.uni-freiburg.de, wenn Sie Fehler finden.
Lesen Sie jedoch auch Bücher und schreiben Sie Ihr eigenes Skript.
Sehr gute Logikbücher sind:
Martin Ziegler, Mathematische Logik (oder das Skript hierzu auf
seiner Webseite)
Joseph Shoenfield, Mathematical Logic
Ebbinghaus, Flum, Thomas, Einführung in die mathematische Logik.
Zeit und Ort
Dienstags und donnerstags von 10 -12 im Hörsaal im Weismannhaus, Albertstr. 21.
Übungen
Gruppe 2: Andreas Engert, Di 16 - 18 Uhr im SR 218
Gruppe 1: Daniel Kurz, Do 14 - 16 Uhr im SR 119
(Die Gruppennummern stammen von den Briefkästen und haben sonst keine Bedeutung.)
Die Übungen beginnen in der zweiten Woche mit den
Anwesenheitsaufgaben auf Blatt 0. In der dritten Woche werden dann die
in der zweiten Woche abgebenen Hausaufgaben von Blatt 1 besprochen, usf.
Studienleistung und Zulassung zur Prüfungsleistung
Die Anwesenheit in den Übungen, mindestens einmal Vorrechnen und das Lösen und Abgeben
(allein, nicht zu mehreren) von 50 Prozent
der Übungen sind erforderlich zum Erwerb der Studienleistung und
zur Zulassung zur Klausur. Sie können Ihre handschriftlichen
Lösungen auch einscannen und per E-Mail an den Tutor Ihrer Gruppe schicken.
Mit dem Computer geschriebene Lösungen sind nicht gestattet. (Diese kann man zu leicht vervielfältigen.)
Prüfungsleistung
Für Bachelor-Student(inn)en:
Die Klausur zu dieser Vorlesung findet am 27. September 2016 von 10-12 Uhr in Raum 404 Eckerstr. 1
statt. Voraussichtlich im Januar 2017 wird es einen Nachholtermin geben.
Als Hilfsmittel dürfen Sie (jeder für sich alleine) ein
handgeschriebenes beidseitig beschriebenes DinA4-Blatt
mit Beschriftung Ihrer Wahl mitbringen und benutzen.
Am Mittwoch, den 5.10. 2016, 14 Uhr findet in SR 318 in der Eckerstrasse 1 die Klausureinsicht statt.
Für Master-Student(inn)en:
Sie nehmen nicht an der Klausur teil, denn die Prüfungsordnung schreibt eine mündliche Prüfung vor.
Die Dauer der Prüfung und die eventuelle Kombination der Gegenstände
hängen davon ab, ob die Prüfungsleistung im Vertiefungsmodul oder
in einem anderem Modul zählen soll.
Bitte vereinbaren Sie mit mir einen individuellen Prüfungstermin.
