Formale Systeme
Formale Systeme
Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in WS 2016
Dozent
Umfang (SWS)
- 4/2/0
Module
Leistungskontrolle
- Klausur
Die Vorlesung Formale Systeme vermittelt eine Einleitung in die Gebiete der formale Sprachen, Automatentheorie und Aussagenlogik. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken sowie Methoden zur praktischen Lösung von "schweren" (NP-vollständigen) Problemen. Damit bildet die Vorlesung die Grundlage für die Vorlesung Theoretische Informatik und Logik und für viele vertiefende Vorlesungen.
Termine
Die erste Vorlesung ist am Montag, 10.10.2016. Weitere Termine sind jeweils:
- montags 3.DS (11:10–12:40) HSZ/0002
- donnerstags 4.DS (13:00–14:30) HSZ/0003
mit Ausnahme von Mo, 31.10., (Reformationstag) und der vorlesungsfreien Zeit zum Jahreswechsel (keine Vorlesungen vom 22.12.2016 biz zum 3.1.2017).
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Willkommen/Einleitung formale Sprachen | DS3, 10. Oktober 2016 in HSZ/0002 | Datei 1, Datei 2 |
| Vorlesung | Grammatiken und die Chomsky-Hierarchie | DS4, 13. Oktober 2016 in HSZ/0003 | Datei 1, Datei 2 |
| Vorlesung | Endliche Automaten | DS3, 17. Oktober 2016 in HSZ/0002 | Datei 1, Datei 2 |
| Vorlesung | Nichtdeterministische endliche Automaten | DS4, 20. Oktober 2016 in HSZ/0003 | Datei 1, Datei 2 |
| Vorlesung | Abschlusseigenschaften regulärer Sprachen | DS3, 24. Oktober 2016 in HSZ/0002 | Datei 1, Datei 2 |
| Vorlesung | Reguläre Ausdrücke (1) | DS4, 27. Oktober 2016 in HSZ/0003 | Datei 1, Datei 2 |
| Vorlesung | Reguläre Ausdrücke (2) | DS4, 3. November 2016 in HSZ/0003 | Datei 1, Datei 2 |
| Vorlesung | Minimale Automaten | DS3, 7. November 2016 in HSZ/0002 | Datei 1, Datei 2 |
| Vorlesung | Minimale Automaten (2) | DS4, 10. November 2016 in HSZ/0003 | Datei 1, Datei 2 |
| Vorlesung | Grenzen regulärer Sprachen/Probleme für Automaten | DS3, 14. November 2016 in HSZ/0002 | Datei 1, Datei 2 |
| Vorlesung | Von regulären zu kontextfreien Sprachen | DS4, 17. November 2016 in HSZ/0003 | Datei 1, Datei 2 |
| Vorlesung | Das Wortproblem kontextfreier Sprachen | DS3, 21. November 2016 in HSZ/0002 | Datei 1, Datei 2 |
| Vorlesung | Das Pumping Lemma kontextfreier Sprachen | DS4, 24. November 2016 in HSZ/0003 | Datei 1, Datei 2 |
| Vorlesung | Abschlusseigenschaften kontextfreier Sprachen | DS3, 28. November 2016 in HSZ/0002 | Datei 1, Datei 2 |
| Vorlesung | Kellerautomaten | DS4, 1. Dezember 2016 in HSZ/0003 | Datei 1, Datei 2 |
| Vorlesung | Kellerautomaten und Typ-2-Grammatiken | DS3, 5. Dezember 2016 in HSZ/0002 | Datei 1, Datei 2 |
| Übung | Repetitorium 1 | DS4, 8. Dezember 2016 in HSZ/0003 | Datei |
| Vorlesung | Deterministische Typ-2-Sprachen / Entscheidungsprobleme | DS3, 12. Dezember 2016 in HSZ/0002 | Datei 1, Datei 2 |
| Vorlesung | Turingmaschinen | DS4, 15. Dezember 2016 in HSZ/0003 | Datei 1, Datei 2 |
| Vorlesung | Nichtdeterminismus und Unentscheidbarkeit | DS3, 19. Dezember 2016 in HSZ/0002 | Datei 1, Datei 2 |
| Vorlesung | Typ-0- und Typ-1-Sprachen | DS4, 5. Januar 2017 in HSZ/0003 | Datei 1, Datei 2 |
| Vorlesung | Aussagenlogik | DS3, 9. Januar 2017 in HSZ/0002 | Datei 1, Datei 2 |
| Vorlesung | Äquivalenz und Normalformen | DS4, 12. Januar 2017 in HSZ/0003 | Datei 1, Datei 2 |
| Vorlesung | Logisches Schließen | DS3, 16. Januar 2017 in HSZ/0002 | Datei 1, Datei 2 |
| Vorlesung | Horn-Logik / Komplexität | DS4, 19. Januar 2017 in HSZ/0003 | Datei 1, Datei 2 |
| Vorlesung | NP-Vollständigkeit | DS3, 23. Januar 2017 in HSZ/0002 | Datei 1, Datei 2 |
| Übung | Besprechung Musterklausur | DS4, 26. Januar 2017 in HSZ/0003 | Datei |
| Übung | Repetitorium 2 | DS3, 30. Januar 2017 in HSZ/0002 | Datei |
| Vorlesung | Zusammenfassung und Ausblick | DS4, 2. Februar 2017 in HSZ/0003 | Datei 1, Datei 2 |
Kalender
