Lehrbeauftragter: | Prof. Dr. Till Mossakowski |
Wochenstunden: | 3 SWh Vorlesung, 2 SWh Übung |
Zuhörerkreis: | Bachelor CV, INF, IngIF, WIF, 3. Semester; MA, CMA, 5. Semester |
Voraussetzungen: | keine |
Prüfung: | durch Klausur am 16. Februar 2017, 11:0013:00 Uhr, im Hörsaal 1 (G26) |
Unbenoteter Schein: | durch Klausur am 16. Februar 2017, 11:0013:00 Uhr, in G29-307 |
Klausuranmeldung: | 16. Dezember 2016 bis 16. Januar 2017 |
Inhalt: Grundlagen der Theoretischen Informatik ist eine Pflichtveranstaltung im Bachelorbereich, die eine Einführung in Formale Sprachen, Automatentheorie, Berechenbarkeitstheorie und Komplexitätstheorie gibt. Im folgenden Sommersemester wird die Fortsetzungsveranstaltung Grundlagen der Theoretischen Informatik II gehalten, in der die Themen dieser Veranstaltung vertieft werden.
Ausgewählte Literatur: (Weitere Bücher werden in der Vorlesung genannt.)