Grundlagen der Theoretischen Informatik

Wintersemester 2016/2017


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:00–13:00 Uhr, im Hörsaal 1 (G26)
Unbenoteter Schein: durch Klausur am 16. Februar 2017, 11:00–13: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.)

Zulassung zur Klausur: Den Studierenden, die die Zulassung zur Klausur erworben haben, ist das per E-Mail an die Adresse bestätigt worden, die zur Einschreibung für die Übungsgruppen zu Beginn des Semesters verwendet wurde.
Im Zweifelsfalle wenden Sie sich bitte per E-Mail an Ihren Übungsleiter.
Die in dieser Vorlesung erreichte Zulassung gilt für die Teilnahme an der Prüfungsklausur (benotete Leistung) oder an der Scheinklausur (unbenotete Leistung).
Die Zulassung für die Teilnahme an der Scheinklausur (unbenotete Leistung) gilt nur für dieses Wintersemester und für das folgende Sommersemester.
Gelingt es nicht, eine dieser beiden Klausuren zu bestehen, verfällt die Zulassung zur Teilnahme an der Scheinklausur.

Klausur: Am Donnerstag, dem 16. Februar 2017, von 11:00 bis 13:00 Uhr in den Räumen G26-H1 und G29-307.
Die Aufteilung der Studenten auf die Räume ist folgende. Den für Sie zutreffenden Raum für Ihre angemeldete Prüfungsleistung finden Sie auch im HISLSF.
Damit pünktlich begonnen werden kann, sind die Plätze spätestens 15 Minuten vor Beginn einzunehmen.
Es sind keine Hilfsmittel zugelassen, Schreibutensilien sind mitzubringen.

Aktuelle Informationen: Vorlesungsfolien:  
Übungsblätter:


Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster