Formale Systeme
Aus International Center for Computational Logic
Formale Systeme
Vorlesungsreihe
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.
Lehrveranstaltungen
- Formale Systeme (WS 2024, Sebastian Rudolph)
- Formale Systeme (WS 2023, Markus Krötzsch)
- Formale Systeme (WS 2021, Hannes Straß)
- Formale Systeme (WS 2020, Markus Krötzsch)
- Formale Systeme (WS 2018, Steffen Hölldobler)
- Formale Systeme (WS 2017, Markus Krötzsch)
- Formale Systeme (WS 2016, Markus Krötzsch)
- Formale Systeme (WS 2015, Steffen Hölldobler)
