Die Studierenden verstehen die grundlegenden mathematischen Strukturen ausreichend gut, um damit Probleme ihres Fachgebietes exakt zu formulieren und sind darauf vorbereitet, diese gegebenenfalls mittels geeigneter Software auch zu lösen. Die Studierenden kennen die grundsätzlichen Grenzen der Berechenbarkeit und Formalisierbarkeit und können die Komplexität von Lösungsverfahren verstehen.
Lehrinhalte
Einführung in die Grundlagen der Theoretischen Informatik. Die Vorlesung behandelt die Themen Graphentheorie, Formale Sprachen und Automatentheorie, Petri Netze, Berechenbarkeit und Entscheidbarkeit sowie Komplexitätstheorie (NP-Vollständigkeit).
Untergeordnete Studienfächer, Module und Lehrveranstaltungen
