IB015 Grundlagen der Theoretischen Informatik (Auer/Siebert)
Kursthemen
-
-
Forum
-
Feedback
-
-
Evaluierung
Bitte nehmen Sie sich ein paar Minuten Zeit um Feedback zum Vorlesungsteil Formale Sprachen (Auer) zu geben:
Link zur Evaluierung (endet 28.05. 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
-
-
-
Link/URL
-
-
-
-
-
Gruppen
- Gruppen 1/2: Prof. Siebert, Donnerstags 10:30 bis 14:20 Uhr, Raum K0 19
- Gruppe 3: Prof. Auer, Freitags 10:30 bis 14:20 Uhr, Raum K0 18
Termine
Aufgaben Gruppe 1 Gruppe 2 Gruppe 3 Reguläre Sprachen (Teil 1) 30.03. 23.03. 31.03. Reguläre Sprachen (Teil 2) 13.04. 04.05. 14.04. Quanten Computing (Prof. Schröter) 27.04. 20.04. 28.04. Kontextfreie Sprachen 11.05. 01.06. 12.05. Rekursiv aufzählbare Sprachen 25.05. 15.06. 23.06. Zufall und andere Tierchen 22.06. 29.06. 07.07. -
-
Link/URL
-
Link/URL
-
-
-