IB015 Grundlagen der Theoretischen Informatik (Auer/Siebert)
Kursthemen
-
Evaluierung
Bitte nehmen Sie sich ein paar Minuten Zeit um Feedback zum Vorlesungsteil Formale Sprachen (Auer) zu geben:
Link zur Evaluierung (endet 02.06. um 23:59 Uhr)
Wichtig: Die Evalierung betrifft nur den Teil Formale Sprachen!
Einleitung
Der erste Teil der Vorlesung (ca. 1/2 bis 2/3 der Vorlesungszeit) beschäftigt sich mit Formalen Sprachen:
- Reguläre Sprachen (reguläre Ausdrücke und endliche Automaten)
- Kontextfreie Sprachen (kontextfreie Grammatiken und Push-Down Automaten)
- (Semi-)Entscheidbare Sprachen (Turing-Maschinen)
Vorlesungsfolien
- Unter obigem Link finden Sie immer die neueste Version der Folien und Beispiele.
- Eine Liste der Änderungen finden Sie hier: CHANGELOG
- Die Vorlesungsfolien werden im Laufe des Semesters immer wieder geringfügig aktualisiert. Laden Sie sich daher in regelmäßigen Abständen oder bei entsprechendem Hinweis die neueste Version herunter.
Inhalt des zip-Archivs
In obigem zip-Archiv finden Sie:
- Folien der einzelnen Kapitel ohne Zwischenschritte
- Präfix Einzelfolien: Folien der einzelnen Kapitel im Präsentationsformat mit allen Zwischenschritten
- Ordner Druckversion: Folien zum Drucken, je zwei Folien auf einer Seite
- Druckversion mit Notizen: Folien zum Drucken, je eine Folie mit Notizbereich auf einer Seite
-
-
-
Gruppen
- Gruppe 1 (gKW): Prof. Auer, Freitags 8:45 bis 12 Uhr im Raum K016
- Gruppen 2/3 (gKW/uKW): Prof. Siebert, Montags 14:30 bis 17:40 im Raum K018
Termine
Aufgaben (Download) Gruppe 1 Gruppe 2 Gruppe 3 Reguläre Sprachen (Teil 1) 19.04. 15.04. 08.04. Reguläre Sprachen (Teil 2) 03.05. 29.04. 22.04. Kontextfreie Sprachen (24.05.). 13.05. 06.05. Rekursiv aufzählbare Sprachen 15.06. 27.05. 03.06. Zufallsgeneratoren 28.06. 10.06. 17.06. Andere Tierchen (12.07.) 24.06. 01.07.