Studium



SoSe 2014












Submodulnummer Veranstaltungsform Name LP SWS / Prüfungsdauer
0086bA.3.1.1 Vorlesung Grundlagen der Theoretischen Informatik 0 3.0
0086bA.3.1.2 Übung Grundlagen der Theoretischen Informatik 0 2.0
0086bA.3.1.3 Modulprüfung Grundlagen der Theoretischen Informatik 7 0 min
Qualifikationsziele: Die Studentinnen und Studenten – verstehen die prinzipiellen Möglichkeiten und Grenzen der Berechenbarkeit, – wissen, dass unterschiedliche Beschreibungsformen von Sprachen und unterschiedliche algorithmische Mechanismen nicht notwendigerweise prinzipiell verschieden mächtig sein müssen und – kennen die theoretischen Grundlagen der Beschreibung und syntaktischen Analyse von Programmiersprachen.
Inhalte: Theoretische Rechnermodelle, Automaten, formale Sprachen, Grammatiken und die Chomsky-Hierarchie, Turing- Maschinen, Berechenbarkeit; Einführung in die Komplexität von Problemen.