Formale Systeme (WS2016): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Daniel Borchmann (Diskussion | Beiträge) (Erster Hinweis zum Übungsbetrieb hinzugefügt) |
||
| Zeile 24: | Zeile 24: | ||
Weitere Informationen werden rechtzeitig auf dieser Seite bekannt gegeben. | Weitere Informationen werden rechtzeitig auf dieser Seite bekannt gegeben. | ||
== Übungen == | |||
Die Einschreibungen in die Übungsgruppen erfolgt zeitnah über [https://jexam.inf.tu-dresden.de JExam] (derzeit noch nicht möglich). | |||
'''Bitte beachten Sie''': Für die Teilnahme an einer Übungsgruppe ist die Einschreibung in dieser Gruppe '''verpflichtend'''. Studierende ohne Einschreibung kann die Teilnahme an einer selbstgewählten Übung nicht garantiert werden. Übungsleiter sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung aus der Übung zu verweisen. | |||
}} | }} | ||
Version vom 22. September 2016, 10:24 Uhr
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 formalen 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).
Weitere Informationen werden rechtzeitig auf dieser Seite bekannt gegeben.
Übungen
Die Einschreibungen in die Übungsgruppen erfolgt zeitnah über JExam (derzeit noch nicht möglich).
Bitte beachten Sie: Für die Teilnahme an einer Übungsgruppe ist die Einschreibung in dieser Gruppe verpflichtend. Studierende ohne Einschreibung kann die Teilnahme an einer selbstgewählten Übung nicht garantiert werden. Übungsleiter sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung aus der Übung zu verweisen.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
