Die Studierenden verstehen die theoretischen Grundlagen der praktischen und der angewandten Informatik. Sie kennen wichtige Klassen formaler Sprachen als Grundlage von Programmier- und Beschreibungssprachen und deren Zusammenhang mit verschiedenen Maschinenmodellen. Sie können die verschiedenen Sprachklassen und Maschinenmodelle zur Repräsentation und Lösung praktischer Aufgabenstellungen anwenden.

Sie kennen die Grenzen der algorithmischen Lösbarkeit von Problemen.

Sie kennen wichtige Komplexitätsklassen und können die Komplexität praktischer Probleme einschätzen.