Diese Veranstaltung ergänzt die Vorlesung Theoretische Informatik I (Formale Sprachen und Automatentheorie).

Sie wird in Form einer Vortragsübung gehalten, in der Aufgaben vorgerechnet und Fragen zum Vorlesungsstoff beantwortet werden. Die Aufgaben sind so konzipiert, dass mit ihnen das Lösen von Hausaufgaben für Studenten leichter fällt.

Ansprechpartner

Carlos Camino

Für Fragen, Wünsche und Anregungen zu den Ergänzungen stehe ich jederzeit und gerne zur Verfügung. Einfach eine E-Mail schicken oder persönlich vorbeikommen.

Termine

Jeden Freitag (außer an Feiertagen) von 14 bis 15:30 Uhr im Hörsaal V7.02.

Der Hörsaal kann mit der Suchfunktion des virtuellen Lageplanes der Universität sehr leicht gefunden werden.

Übungsblätter

Die Übungsblätter werden in der Regel jeden Mittwochabend vor der jeweiligen Ergänzung hochgeladen.

Zusatzaufgaben sollen dem Selbstsudium dienen. Sie werden in den Ergänzungen nicht besprochen, aber es werden trotzdem Lösungen zur Selbstkontrolle veröffentlicht.

Eine Auflistung aller Änderungen (z.B. Fehlerkorrekturen) kann hier gefunden werden. Diese Liste wird laufend aktualisiert.

Fehlermeldungen bitte per E-Mail an mich. Vielen Dank!

Termin Datum Aufgaben Lösungen Inhalt
1 27.10.17 [pdf] [pdf] Einheiten 3 bis 4
2 03.11.17 [pdf] [pdf] Einheiten 1 bis 2
3 10.11.17 [pdf] [pdf] Einheiten 5 bis 7
4 17.11.17 [pdf] [pdf] Einheiten 8 bis 13
5 24.11.17 [pdf] [pdf] Einheiten 8 bis 11

Um Zugang zu den Dateien von außerhalb des Campusnetzes zu haben, kann ein VPN-Dienst benutzt werden. Eine Anleitung hierzu finden Sie hier.

Für Studienanfänger sollte dieses Flussdiagramm besonders hilfreich sein.

News

[Jun’17] Lukas’ paper “Green’s Relations in Finite Transformation Semigroups” and Armin’s paper “The conjugacy problem in free solvable groups and wreath product of abelian groups is in $\text{TC}^0$ \text{TC}^0 “ both have received a Best Paper Award at the 12th International Computer Science Symposium in Russia (CSR).