Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2014 / Theoretische Informatik für Medieninformatiker


Inhaltsbereich

Theoretische Informatik für Medieninformatiker

Lehrveranstaltung, 3-std., Di 14-17 Uhr, Johannsen

Aktuelles

  • Wegen der geringen Teilnehmerzahl wird es keine allgemeine Einsicht zur Nachholklausur geben. Wenn Sie die Klausur einsehen möchten machen Sie bis zum 23.10. per Email einen Termin mit Herrn Johannsen aus.
  • Die Ergebnisse der Nachholklausur sind jetzt bei UniWorx online.
  • Die Nachholklausur fand am Di 7.10. um 18 Uhr im Hörsaal A 140 im Hauptgebäude statt.

Inhalt

Es wird eine Einführung in die zentralen Konzepte und Ergebnisse der Theoretischen Informatik gegeben, mit Anwendungsbeispielen. Die folgenden Themen werden vertiefend behandelt:

  1. Automaten und Formale Sprachen
    Deterministische und nicht-deterministische endliche Automaten, reguläre Ausdrücke, Grammatiken, kontextfreie Sprachen, Pushdown-Automaten
  2. Berechenbarkeit
    Turing-Maschinen, Church'sche These, Unentscheidbarkeit, Halteproblem, Reduktion
  3. Komplexitätstheorie
    Die Klassen P und NP, NP-vollständige Probleme

Organisation

  • Umfang: 3 Semesterwochenstunden
  • Vorlesung & Übung: Dr. Jan Johannsen
  • Korrektoren: Maximilian Hiesinger, Benjamin Eder
  • Hausaufgaben sind einzeln abzugeben, sie werden korrigiert und bewertet. Die Lösungen können über UniWorx oder vor der Vorlesung auf Papier abgegeben werden, im zweiten Fall ist bei UniWorx eine leere Lösung abzugeben und die Lösungs-ID auf dem Blatt zu vermerken.


Zeit und Ort

VeranstaltungZeitOrtBeginn
Vorlesung & Übung Di, 14:15 - 16:45 Uhr S 004, Schellingstr. 3 08.04.2014

Material zur Vorlesung

Videoaufzeichnungen der Vorlesung des vergangenen Jahres.

Es gibt ein Forum zu dieser Veranstaltung auf die-informatiker.net, das von den Veranstaltern gelesen wird. Bitte nutzen Sie dies für Feedback und Fragen!

Literatur

  • John E. Hopcroft, Rajeev Motwani und Jeffrey D. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, 2. Auflage, Pearson Studium, 2002.
  • Alexander Asteroth und Christel Baier: Theoretische Informatik, Pearson Studium 2002.
  • Uwe Schöning: Theoretische Informatik - kurz gefasst, 5. Auflage, Spektrum Akademischer Verlag, 2008.


    Klausuren

    Klausur

    Die Klausur fand am Mittwoch, den 23.07. um 9:30 in den Hörsälen C 123 und B 005 (Theresienstr. 39) statt.

    Nachholklausur

    Die Nachholklausur fand am Di 7.10. um 18 Uhr im Hörsaal A 140 im Hauptgebäude statt.

    Artikelaktionen


    Funktionsleiste