Studies



SoSe 2014












Submodule number Course Type Name ECTS SWS / Exam duration
0086bA.3.1.1 Lecture Fundamentals of Theoretical Computer Science 0 3.0
0086bA.3.1.2 Practice seminar Fundamentals of Theoretical Computer Science 0 2.0
0086bA.3.1.3 Module exam Fundamentals of Theoretical Computer Science 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.