Theoretische Informatik

Basierend auf den Erfahrungen aus ihren Lehrveranstaltungen zur Theoretischen Informatik vermitteln Baier und Asteroth die klassischen Inhalte einer Einführungsvorlesung für Studenten im Haupt- und Nebenfach. Sie behandeln die Themenbereiche Berechenbarkeit, Komplexitätstheorie und formale Sprachen, setzen dabei aber bei ihren Lesern lediglich die elementaren Grundlagen der Mathematik und Informatik voraus. Ein intuitiver Ansatz, bei dem mathematische Konzepte durch informelle Erläuterungen und grafische Darstellungen veranschaulicht werden, macht Definitionen, Sätze und deren Beweise auch für Studierende mit geringen mathematischen Vorkenntnissen nachvollziehbar.