Vorlesung
Vorlesung / Übung
Prüfung
Lernziel Ziel ist die Vermittlung grundlegender Kenntnisse, Denkweisen und Konzepte der formalen Sprachen und der Berechenbarkeit. Als Folgerung sollen den Studierenden die prinzipiellen Möglichkeiten und Grenzen der Informationsverarbeitung aufgezeigt werden.
Zentrale Themen sind
J.E. Hopcroft, R. Motwani, J.D. Ullman, Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit, 2011, Pearson Studium
Zeit und Ort werden zu Projektbörse bekannt gegeben!
Diskrete Mathematik
Klausur
Bachelor, 3. Semester