Die Studenten sind mit den grundlegenden Begriffen der theoretischen Informatik vertraut. Durch Erkennen der Zusammenhänge zwischen den theoretischen Konzepten und praktischen Anwendungen wird den Studenten die Wichtigkeit der Auseinandersetzung mit der theoretischen Informatik bewusst.

Die Studenten kennen wichtige Klassen formaler Sprachen und deren Zusammenhang mit verschiedenen Maschinenmodellen. Sie kennen die Grenzen der algorithmischen Lösbarkeit von Problemen, kennen wichtige Komplexitätsklassen und können die Komplexität praktischer Probleme einschätzen.

Sie kennen grundlegende Inhalte aus der Codierungs- und Informationstheorie und die Grundidee von Algorithmen zur fehlertoleranten und zur komprimierten Speicherung bzw. Übertragung von Informationen.