Grundzüge der Theoretischen Informatik Markus Bläser

Die Korrektur der Hauptklausur ist abgeschlossen. Sie finden Ihre Punktzahl und Note auf Ihrer Persönlichen Statusseite.

Die Einsicht wird am Mittwoch den 6.3 in Raum 415 (E1 3) stattfinden und wie folgt gehandhabt werden: Studenten mit Nachnamen A-M können ihre Klausuren ab 14 Uhr einsehen, der Rest ab 15 Uhr.

Bitte beachten Sie die folgenden Informationen:

• Die Hauptklausur findet am 15.02.19 von ca 14:15-16:15 statt.
• Um einen reibungslosen Ablauf zu garantieren, bitten wir Sie, spätestens um 14:00 vor Ort zu sein.
• Die Aufteilung auf die Hörsäle geschieht nach Nachnamen wie folgt:
  • Adam bis Matura: GHH (E2 2)
  • Maurer bis Ohs: HS 001 (E1 3)
  • Omar bis Schulze: HS 003 (E1 3)
  • Schwan bis Zirpel: HS 002 (E1 3)
• 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)
• Für die Hauptklausur relevant sind Kapitel 1 bis 26 im Skript (mit Ausnahme der Bonuskapitel), sowie die Übungsblätter 1 bis 12 und Präsenzblätter 1 bis 13.

Bitte beachten Sie die folgenden Informationen:

• Die Punkte aller Übungsblätter sind nun eingetragen und auf der persönlichen Statusseite einsehbar.
• Sie benötigen mindestens 87.5 Punkte (inklusive Bonuspunkte) um zur Klausur zugelassen zu sein.
• Bitte melden Sie sich bis zum 11.02 auf Ihrer persönlichen Statusseite zur Klausur an, falls Sie mitschreiben möchten.
• Dies ist aber KEIN Ersatz für eine Anmeldung im HISPOS/VIPA/etc. Beachten Sie für diese die entsprechenden Fristen
• Weitere Informationen zur Klausur folgen in Kürze. 

Die Gödelisierungsfunktion, die momentan im Script steht, ist leider nicht wie behauptet bijektiv, sondern nur injektiv. Die ganze Theorie wuerde auch mit einer injektiven Funktion funktionieren (und hat sie auch in all den Jahren davor), wenn dann aber später Reduktionen eingeführt werden, muss man eine Reihe von einfachen, aber hässlichen Fallunterscheidungen machen. Daher kommt die Umstellung auf eine (bald) bijektive Gödelisierung.  Wir werden das ganze wie folgt reparieren (und gleichzeitig eine weitere nicht so schoene Stelle im Skript verbessern): Konkatenation von Programmen wird geklammert. Damit ist die Semantik Phi_P automatisch wohldefiniert. Und danach werden wir zeigen, dass Konkatenation bzgl. Semantik assoziativ ist, dass heisst, in der Praxis koennen wir die Klammern immer weglassen. Ausser den angesprochenen Dingen wird sich damit im Skript nichts weiter aendern.

Ich werde das Skript im Laufe der Woche umschreiben und auch am Mittwoch etwas dazu in der Vorlesung sagen. Die Umstände tun wir leid, aber ich denke, dass insgesamt das Skript besser wird.

Vielen Dank an die Studenten, die uns auf den Fehler in der Surjektivität der Gödelisierung hingewiesen haben.

Inbesondere der Beweis von Lemma 9.8 im Skript funktioniert aktuell nicht.

Wie wir das ganze beheben können, wird entweder in den Übungen oder in der nächsten Vorlesung behandelt.

Wegen Allerheiligen fällt am Donnerstag, dem 1. November, die Übung aus. Studenten aus dieser Übung können diese Woche in beliebige andere Tutorien gehen. Die Übungsblätter dieses Tutoriums werden wir am Anfang der Vorlesung am Mittwoch, dem 31. Oktober, zurückgeben.