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.

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. Für sonstige Fragen (z.B. zur Vorlesung oder zu den Übungsblättern) habe ich Sprechzeiten eingerichtet.

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 Aufgaben sind so konzipiert, dass mit ihnen das Lösen von Hausaufgaben für Studenten leichter fällt. In den Übungsblättern findet man außerdem Zusatz- und Knobelaufgaben:

  • Zusatzaufgaben sollen dem Selbstsudium dienen. Sie werden in den Ergänzungen nicht besprochen, aber es werden trotzdem Lösungen zur Selbstkontrolle veröffentlicht.
  • Knobelaufgaben sind deutlich auspruchsvoller und sind für interessierte Studierende gedacht.

💡 Am 13.02.2018 wurden sämtliche Übungs- und Lösungsblätter überarbeitet und in der Tabelle unten aktualisiert. Unter anderem wurden

  • Hinweise hinzugefügt,
  • Knobelaufgaben abgewandelt und
  • Lösungsblätter um die Lösungen zu Knobelaufgaben erweitert.

Von nun an werden keine Änderungen mehr an den Materialien vorgenommen, sondern lediglich Fehler im Erratum aufgelistet (siehe unten).

Endgültige Version aller Übungs- und Lösungsblätter [zip]

Termin Datum Übungen Lösungen Inhalt Aufzeichnung
1 27.10.17 [pdf] [pdf] Einheiten 3-4 -
2 03.11.17 [pdf] [pdf] Einheiten 1-2 -
3 10.11.17 [pdf] [pdf] Einheiten 5-7 -
4 17.11.17 [pdf] [pdf] Einheiten 8-13 -
5 24.11.17 [pdf] [pdf] Einheiten 8-11 -
6 01.12.17 [pdf] [pdf] Einheiten 14-16 -
7 08.12.17 [pdf] [pdf] Einheiten 14-17 -
8 15.12.17 [pdf] [pdf] Einheiten 16-17 und 22-25 -
9 22.12.17 [pdf] [pdf] Einheiten 25 und 27-28 -
10 12.01.18 [pdf] [pdf] Einheiten 31-32 -
11 19.01.18 [pdf] [pdf] Einheiten 33-34 -
12 26.01.18 [pdf] - Prüfungsvorbereitung [mp4]
13 02.02.18 [pdf] [pdf] Prüfungsvorbereitung [mp4]
14 09.02.18 [pdf] [pdf] Prüfungsvorbereitung [mp4]

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

Zusatzmaterialien

💡 Bitte Erratum beachten (siehe unten).

  • Flussdiagramm [pdf] für Studienanfänger
  • Lernblatt [pdf] zum Selberausfüllen
  • Aufgaben [pdf] und Lösungen [pdf] der Scheinklausur vom Sommersemester 2016
  • Aufgaben [pdf] und Lösungen [pdf] der ersten Scheinklausur vom Wintersemester 2016
  • Aufgaben [pdf] und Lösungen [pdf] der zweiten Scheinklausur vom Wintersemester 2016
  • Aufgaben [pdf] und Lösungen [pdf] der Modulprüfung vom Sommersemester 2017
  • Aufgaben [pdf] und Lösungen [pdf] der Scheinklausur vom Wintersemester 2017

Erratum

Hier werden alle Fehler aufgelistet, die in den Materialien gefunden wurden:

(noch keine Fehler gefunden)

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

Vielen Dank an Lucas Haug für den Binäraddierer, den Dezimalzähler und den Link zum Pumping Game!

News

[Jan’18] On March 24-29, 2019 Volker Diekert, Markus Lohrey, Olga Kharlampovich and Alexei Miasnikov will organize the Schloss Dagstuhl Seminar “Algorithmic Problems in Group Theory”.

[Dec’17] The paper “The Intersection Problem for Finite Monoids” by Lukas Fleischer and Manfred Kufleitner was accepted at STACS 2018.

[Jun’17] At the 12th International Computer Science Symposium in Russia (CSR), Lukas Fleischer and Manfred Kufleitner received a Best Paper Award for their publication “Green’s Relations in Finite Transformation Semigroups”, and Armin Weiss received a Best Paper Award for “The conjugacy problem in free solvable groups and wreath product of abelian groups is in $\text{TC}^0$ \text{TC}^0 “ which is joint work with Alexei Miasnikov and Svetla Vassileva.