Vorlesung: Rekursionstheorie SoSe 2019

Zeit/Ort:	Mo 16 - 18 Uhr, HS II, Alberstr. 23b
Dozentin:	Heike Mildenberger
Sprechstunde Dozentin:	n. V.
Mitwirkung bei den Übungen	Giorgio Laguzzi
Sprechstunde Assistent:	n. V.
Übungen	Tobias Engler
Zeit und Ort	Freitags 12 - 14, SR218, 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.
• 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.
• Die gemeinsame Abgabe ist nicht gestattet.
• Lehramts- oder Masterstudentinnen und -studenten müssen eine kurze muendliche Puefung bestehen, um die unbenotete Studienleistung zu erhalten.

Prüfungsleistung

• Prüfung laut Modulhandbuch

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

Literatur

Folgende Literatur wird empfohlen:

Literaturliste auf dem Kommentar aus dem kommentierten Vorlesungsverzeichnis.

Ein Skript. Vorsicht, es enthält viele Schreibfehler. Ich überarbeite es zur Zeit und wechsle dann die Versionen aus. Die letzte Version ist vom 22.7.2019. Ich habe im Kapitel über infinite injury priority einiges korrigiert und Beweisschritte ergänzt.

Übungsblätter

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

Geänderte Planung
Das erste Blatt ist noch nicht bearbeitbar, da die Vorlesung diesen Stoff nicht behandelte. Daher habe ich die Abgabe verlängert. Das zweite Blatt kommt dann entsprechend etwas später.

Blatt	Ausgabe	Abgabe
Blatt 1	29.04.2019	13.05.2019
Blatt 2	13.05.2019	20.05.2019
Blatt 3	20.05.2019	27.05.2019
Blatt 4	27.05.2019	04.06.2019
Blatt 5	03.06.2019	17.06.2019
Blatt 6	17.06.2019	24.06.2019
Blatt 7	24.06.2019	01.07.2019
Blatt 8	01.07.2019	08.07.2019
Blatt 9	08.07.2019	15.07.2019

Anmeldung/Organisatorisches

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

Die Abgabe der Hausaufgaben findet jeweils montags vor der Vorlesung statt. Sie können Ihre Aufgaben auf das Pult im Hörsaal II oder in den Kasten im Logikflur legen. Die Aufgaben sind einzeln abzugeben.

Version der Seite vom 20.5.2019, HM