Lehrveranstaltungen im Sommersemester 2022
Theoretische Informatik
Die Vorlesung gibt eine eingehende Einführung in die Theoretische Informatik. Neben verschiedenen formalen Präzisierungen des Berechenbarkeitsbegriffs, werden als Themen endliche Automaten, formale Sprachen und Grammatiken, Entscheidbarkeit und Komplexitätstheorie behandelt.
| Art der Veranstaltung: | Vorlesung |
| Dozent: | Prof. Dr. Bernhard Nebel |
| Webseite: | Theoretische Informatik |