Grundzüge der Theoretischen Informatik Prof. Dr. Markus Bläser, Marc Roth Grundvorlesung, 9 CP, Wintersemester 2017

Bitte tragen Sie sich im Forum in die Liste für die Pizzabestellung ein, wenn Sie am Tag der Probeklausur nicht auf Pizza verzichten wollen. Bitte entschuldigen Sie, falls Sie zwei E-Mails erhalten haben - nicht alle Studenten haben die E-Mail-Benachrichtigung des Forums aktiviert.

Am 03.02.18 findet in HS002 in E1 3 von 12:00 bis 14:00 Uhr eine Probeklausur statt. Danach, von 14:00 bis 16:00 Uhr, wird die Klausur im Hörsaal besprochen. Die Teilnahme ist natürlich freiwillig und es können keinerlei Bonuspunkte gesammelt werden. Bitte melden Sie sich trotzdem (auf Ihrer persönlichen Statusseite) an, wenn Sie die Probeklausur mitschreiben müssen. Seien Sie bitte außerdem um spätestens 11:45 Uhr vor Ort. 

Die Probeklausur wird mitsamt Lösung am selben Tag auf der Vorlesungswebsite veröffentlicht. 

Falls Sie Fragen zur (Lösung der) Probeklausur haben und nicht am 03.02.18 vor Ort sein können, haben Sie außerdem die Möglichkeit die Office Hour, die bis zur Hauptklausur weiterhin Dienstags von 14:00 bis 16:00 Uhr in SR107 in E1 3 stattfinden wird, in der folgenden Woche zu besuchen. 

Ab sofort sehen Sie Ihren Zulassungsstatus auf Ihrer persönlichen Statusseite. Sie benötigen mindestens 72 aller möglichen Punkte, die auf den Übungsblättern erzielt werden können. Das elfte Übungsblatt wird ein Bonusblatt auf dem Sie bis zu 16 Bonuspunkte erzielen werden können.

Die Vorlesungen finden in der ersten Kalenderwoche regulär statt (Mittwoch, 03.01.18 14:00 Uhr und Freitag, 05.01.18 08:30).

Im Vorlesungskalender stand fälschlicherweise, dass am Mittwoch, den 03.01.18 weder Übungen noch Vorlesung stattfinden. Das Vorlesungsteam bittet Sie, diesen Fehler zu entschuldigen.

In der ersten Kalenderwoche wird die Zwischenklausur in den Übungen besprochen. Alle Studenten, deren Übungen wegen des Feiertags am Montag entfallen, können andere Übungen und/oder die Office Hour (Di. 14:15, E1 3 SR 107) besuchen.

Das Vorlesungsteam wünscht Ihnen ein frohes neues Jahr 2018!

Bitte beachten Sie die folgenden Informationen:

• Die Zwischenklausur findet am 20.12.17 von 14:00 bis 16:00 Uhr im Günter-Hotz-Hörsaal (E2 2 HS 001) statt.
• Die Teilnahme ist freiwillig, es können jedoch Bonuspunkte für Haupt- und Nachklausur erzielt werden (s.u.).
• Um einen reibungslosen Ablauf zu garantieren, bitten wir Sie, schon um 13:37 Uhr vor Ort zu sein.
• Bitte bringen Sie Ihren Studentenausweis sowie einen amtlichen Lichtbildausweis (Personalausweis/Reisepass/...) mit.
• Bitte bringen Sie dokumentenechtes Papier und blau- oder schwarzschreibendes Schreibutensil, zum Beispiel einen normalen Schreibblock und einen Kugelschreiber oder Füller, nicht aber Bleistifte oder Thermopapier, mit.
• Sie dürfen einen beidseitig handgeschriebenen DinA4-Zettel mitbringen. (Keine Kopien oder Ausdrucke)
• Spätestens eine Woche vor der Zwischenklausur wird im CMS die Anmeldung freigeschaltet. Bitte melden Sie sich zur Klausur an, wenn Sie mitschreiben werden.
• Sie benötigen keine bestimmte Prozentzahl an Punkten auf den Übungsblättern um die Zwischenklausur mitschreiben zu dürfen. Beachten Sie aber, dass Sie für die Zulassung zur Haupt- und Nachklausur mindestens 50% der Gesamtpunktzahl auf allen Übungsblättern erreichen müssen.
• Für die Zwischenklausur relevant sind alle Kapitel im Skript zur Berechenbarkeitstheorie (mit Ausnahme der Bonuskapitel), sowie Übungs- und Präsenzblätter 01 bis 06.
• Das 07. Übungsblatt (welches am 08.12.17 veröffentlicht wird) ist ein Vorbereitungsblatt zur Klausur und trägt nicht zur Gesamtpunktzahl bei. Die Abgabe ist freiwillig, ermöglicht Ihnen aber Bonuspunkte für die Gesamtpunktzahl der in Übungsaufgaben erreichten Punkte zu erzielen.
• Am 18.12.17 findet von 14:00 bis 16:00 Uhr in Hörsaal HS002 in E1 3 ein Klausurtutorium statt. Dort wird, unter anderem, das Vorbereitungsblatt besprochen.

Berechnung der Bonuspunkte:

Sei p der echt gerundete Prozentsatz an Punkten die in der Zwischenklausur erzielt wurden. Der Prozentsatz b der Bonuspunkte berechnet sich wie folgt: Wenn p<50% dann b=0, d.h. die Zwischenklausur muss bestanden werden um Bonuspunkte zu erzielen. Ansonsten, gilt

b = (-32p²+76p-29)%

wobei das Ergebnis auf zwei Stellen echt gerundet wird. Sei nun n die maximal erreichbare Punktzahl der Hauptklausur (bzw. der Nachklausur). Dann erhalten sie b*n Bonuspunkte, wobei das Ergebnis auf ganze Punkte aufgerundet wird. Beachten Sie, dass Sie sowohl zur Haupt- als auch zur Nachklausur auf diese Weise Bonuspunkte erhalten.

In Aufgabe 3.5 des dritten Übungsblattes wurde über (WHILE₁-)Berechenbarkeit von Sprachen gesprochen. Sprachen können allerdings (per Definition) nicht berechenbar, sondern nur entscheidbar, rekursiv aufzählbar, ... sein. Korrekterweise müsste in der Aufgabe von der (WHILE₁-)Berechenbarkeit der charakteristischen Funktion von Sprachen gesprochen werden.

Am 02.11.17 findet um 10:15 Uhr in E13 SR 016 eine Office Hour statt. Ab dem 07.11.17 findet jeden Dienstag um 14:15 in E1 3 SR 107 eine Office Hour statt. Die Office Hours bieten Ihnen neben Forum und Übungsgruppen eine weitere Möglichkeit, inhaltliche und organisatorische Fragen zur Vorlesung und zu den wöchentlichen Übungsblättern zu stellen.

In der Woche vom 30.10.17 bis zum 03.11.17 fallen alle Tutorien aus. Das erste Übungsblatt wird am Freitag, den 27.10.17 veröffentlicht und muss am 03.11.17 abgegeben werden. In der darauffolgenden Woche (06.11.17-10.11.17) beginnt der reguläre Übungsbetrieb mit der Rückgabe und Besprechung des ersten Übungsblattes.

Die meisten Studenten konnten ihrer favorisierten Übungsgruppe zugeteilt werden. Niemand wurde in eine ungünstige Übungsgruppe eingeteilt. Sie können Ihre Übungsgruppe ab sofort auf Ihrer persönlichen Statusseite sehen. Sollten Sie keiner Übungsgruppe zugeteilt worden sein, wenden Sie sich bitte umgehend an Marc Roth.

Wir bieten Ihnen die Möglichkeit, fachliche und organisatorische Fragen im Forum zu stellen. Insbesondere bei inhaltlichen Problemen die potentiell mehrere Studenten betreffen lohnt es sich, zunächst über die Lösung im Forum zu diskutieren. Es versteht sich dabei von selbst, dass keine vollständig gelösten Übungsaufgaben gepostet werden sollen. Natürlich steht Ihnen auch weiterhin das Vorlesungsteam per E-Mail zur Verfügung.

Bitte beachten Sie, dass, um Kollisionen mit anderen Prüfungen zu verhindern, die Termine für Haupt- und Nachklausur geändert wurden:

• Hauptklausur: 19.02.18, 13:00 - 16:00, E2 5 HS 001,002,003 (Mathematik-Hörsaal-Gebäude)
• Nachklausur: 21.03.18, 13:00 - 16:00, E2 2 HS 001 (Günter-Hotz-Hörsaal) und E2 5 HS 001 (Großer Mathematik-Hörsaal)