Vorlesung Theoretische Informatik 2: Formale Sprachen, Berechenbarkeit und Komplexitätstheorie, SS 2023

Aktuelles

  • Die Noten und Punkte der 2. Klausur liegen hier. Das hier ist der Notenschlüssel.
  • Die Klausureinsicht der zweiten Klausur findet am 23.10. um 11 Uhr statt (Maria-von-Linden-Straße 6, im Konferenzraum im 3.Stock, Glaskasten).
  • In der letzten Semesterwoche (25. und 27.7.) finden keine Vorlesungen mehr statt, damit Sie sich in Ruhe auf die Klausur vorbereiten koennen. Die Uebungsgruppen finden auf Wunsch noch statt, um Fragen zu stellen. Bitte besprechen Sie das mit den Tutor*innen.
  • Bitte melden Sie sich zur Klausur in Alma an. Deadline: eine Woche vorher, das heisst 25.7. Falls es nicht klappt (aber bitte nur dann, dann bitte eine email an meine Sekretürin Patrizia Balloch schreiben: Betreff: Klausuranmeldung; mit Name, Matrikelnummer, Studiengang, angestrebter Abschluss).
  • Der Termin der ersten Klausur ist der 1.8. von 11:30-13:30, an der Morgenstelle. Der Termin der zweiten Klausur ist Mo, 02.10. von 13:30-15:30 Uhr (Hoersaal 25, Kupferbau). Sie koennen sich aussuchen, an welcher Klausur Sie teilnehmen. Sie muessen sich jeweils bis eine Woche vorher auf Alma anmelden. Bitte 15 min vorher da sein, und Ausweis und Studierendenausweis mitbringen. Als Material duerfen Sie einen handgeschriebenen Spickzettel mitbringen (1 Seite A4, auf einer Seite beschrieben, handgeschrieben von Ihnen selbt, nicht gedruckt; diese Zettel sammeln wir am Ende mit ein, bewerten sie aber nicht.) Der Klausurstoff geht bis einschliesslich 13.7., also Kapitel 50 im Skript.

Quick links

Ilias Umfragen fuer jede Woche.


Wann, wo, wie

  • Vorlesung (Prof. U. von Luxburg): Di 12:15-14:00 Hörsaal N7, Hörsaalzentrum Morgenstelle; Do 10:15-12:00, Hörsaal N7, Hörsaalzentrum Morgenstelle;
  • Übungsgruppen werden koordiniert von Solveig Klepper. Sie starten in der dritten Semesterwoche. Registrierung zu den Übungsgruppen über Ilias bis Mittwoch 15:00 Uhr. Die Zuteilung erfolgt dann Freitag den 28.04.2023.
  • Anmeldung zur Vorlesung ueber Ilias bis spaetestens zum Semesteranfang.

Materialien zur Vorlesung

Informationen zur Vorlesung und Klausurzulassung

Folien

  • Aktuelle Version (last updated 2023-07-19) aktuelle Version der Folien
  • Extra Folien zur Vorlesung am 6.6. Publikationen in Informatik
  • Aus dem letzten Jahr stammen folgende handgeschriebene Folien von mir: pdf (Achtung, 190 MB).
  • Die gleichen Folien als getippte Version (koennten aber noch Fehler enthalten, da ich sie jetzt zum ersten mal benutze): pdf

Probeklausur

Hier finden Sie die Probeklausur vom 25.05.2023.

Videos

... aus dem letzten Jahr sind in dieser youtube playlist.

Übungsblätter

Abgabe immer bis Sonntag Abend, 23:59 elektronisch auf Ilias.

Namen und Kontakt zu den Tutoren

Klausuren

Der Termin der ersten Klausur steht fest, es ist der 1.8. von 11:30-13:30, an der Morgenstelle. Der Termin der zweiten Klausur ist Mo, 02.10. von 13:30-15:30 Uhr (Hoersaal 25, Kupferbau). Sie koennen sich aussuchen, an welcher Klausur Sie teilnehmen. Sie muessen sich jeweils bis eine Woche vorher auf Alma anmelden. Bitte 15 min vorher da sein, und Ausweis und Studierendenausweis mitbringen. Als Material duerfen Sie einen handgeschriebenen Spickzettel mitbringen (1 Seite A4, auf einer Seite beschrieben, handgeschrieben von Ihnen selbt, nicht gedruckt; diese Zettel sammeln wir am Ende mit ein, bewerten sie aber nicht.)

Literatur

  • Der erste Teil der Vorlesung wird aufgebaut auf Sipser: Introduction to the Theory of Computation. Als deutsche Lehrbuecher verwenden wir Hromkovic: Theoretische Informatik und Schöning: Theoretische Informatik kurz gefasst.
  • Ein weiteres gutes Buch (noch als Draft) ist Introduction to Theoretical Computer Science von Boaz Barak. Hier ist der link zum Buch.
  • Der zweite Teil der Vorlesung benutzt auch: Arora, Barak: Computational Complexity: A Modern Approach. Das Buch ist super und elegant, aber geht deutlich ueber unseren Stoff hinaus.
  • Ein populärwissenschaftliches Buch, dass gut zum Thema unserer Vorlesung passt, ist "Gödel, Escher, Bach" von Douglas Hofstadter. Will ich Ihnen ans Herz legen, zumindest hat es mich als Studi fasziniert.

Sie brauchen Unterstützung?


Fragen? Kommentare? Anregungen?

Wir wollen wissen, was Ihnen an der Veranstaltung gefällt und was Ihnen nicht gefällt. Dazu gibt es ein woechentliches Feedback-Formular in Ilias. Wenn Sie das aus irgendeinem Grund nicht benutzen wollen, können Sie auch unser anonymes Feedback-Formular benutzen. Je konstruktiver die Kritik, desto höher die Chance, dass wir darauf eingehen.