Mathematische Logik, SoSe 2019

Zeit/Ort:	Mo, Mi 12-14 Uhr, HS II, Albertstr. 23b
Dozent:	Prof. Dr. Amador Martín-Pizarro
Sprechstunde Dozent:	n. V.
Tutorium:	Michael Lösch
Sprechstunde Assistent:	n. V.
Email Anfragen:	loesch@math.uni-freiburg.de

Aktuelles!

• Der Termin für die Klausureinsicht steht fest!

Studienleistung/Prüfungsleistung

Notwendig sind:

• Mindestens 30 Prozent der erreichbaren Punkte bei den beiden Heimklausuren. Wenn es in einer Woche eine Heimklausur gibt, wird es in dieser kein Übungsblatt geben.
• Regelmäßige Teilnahme am wöchentlichen Tutorat (maximal zweimaliges Fehlen).
• Erlangen von mindestens 50 Prozent der erreichbaren Punkte bei den schriftlich zu bearbeitenden Übungsaufgaben.
• Vorrechnen mindestens einer Übungsaufgabe an der Tafel im Tutorat; alle müssen in der Lage sein, die von ihnen abgegebenen Übungsaufgaben an der Tafel vorzurechnen.
• Die Klausur ist Bestandteil der Studienleistung.

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

Inhalt

• Eine Kurzfassung des Inhaltes der Vorlesung finden Sie HIER (Version vom 21.03.2019).
• Ein Kurzskript zur Vorlesung finden Sie HIER (30.07.2019).

Übungsblätter

Sie können die Übungsblätter zu zweit abgeben. Abgabe ist dienstags bis spätestens 10 Uhr in den entsprechenden Briefkasten im Keller des mathematischen Institus.

Blatt	Ausgabe	Abgabe
Blatt 1	30.04.2019	07.05.2019
Blatt 2	07.05.2019	14.05.2019
Blatt 3	14.05.2019	21.05.2019
Blatt 4	21.05.2019	28.05.2019
Blatt 5	28.05.2019	04.06.2019
Heimklausur I	04.06.2019	17.06.2019
Blatt 6	18.06.2019	25.06.2019
Blatt 7	25.06.2019	02.07.2019
Heimklausur II	01.07.2019	08.07.2019
Blatt 8	09.07.2019	16.07.2019
Blatt 9	16.07.2019	23.07.2019

Anmeldung/Organisatorisches

Die Anmeldung zu den Übungsgruppen erfolgt via HISinOne.

Literatur

Folgende Literatur wird zusätzlich empfohlen:

• Kurzskript zur Vorlesung Logik für Studierende der Informatik.
• H.-D. Ebbinghaus, J. Flum, W. Thomas, Einführung in die mathematische Logik, Spektrum Verlag, 2007.
• J.-R. Shoenfield, Mathematical Logic, Addison-Wesley, 2001.
• Martin Ziegler, “Mathematische Logik”, Birkhäuser Basel, ISBN 978-3-0346-0652-3.

Termine

	Termin	Uhrzeit	Ort
Erfassung Studienleistung
Klausur	02.08.2019	10-13 Uhr	Großer HS Physik, Westbau
Klausureinsicht	05.08.2019	14-15 Uhr	SR 404, Mathematisches Institut
Nachklausur
Einsicht, Nachklausur

Übungsgruppen

Gruppe	Zeit (c.t.)	Raum	Ort	Tutor	Briefkasten
1	Do 16-18	SR 125	Mathematisches Institut	Patrick Meurin	3.23
2	Fr 10-12	SR 226	Rechenzentrum	Arnt-Jonas Trabert	3.24