Uni-Logo

Lectures in summer semester 2022

Theoretische Informatik

This course is held in German.

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.

Course type: Lecture
Lecturer: Prof. Dr. Bernhard Nebel
Web page: Theoretische Informatik