Die Vorlesung behandelt die Grundzüge der Rekursionstheorie, der Komplexitätstheorie, der Theorie der formalen Sprachen und der Automatentheorie. Zentrale Begriffe sind Berechenbarkeit, Entscheidbarkeit und Semi-Entscheidbarkeit, Reduzierbarkeit, Komplexitätsklassen, Vollständigkeit, Automaten, Grammatiken und Ausdrücke.
- Lehrpersonal: Yannik Eikmeier
- Lehrpersonal: Mitja Kulczynski
- Lehrpersonal: Malte Skambath