Links und Funktionen
Sprachumschaltung

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


Inhaltsbereich

Theoretische Informatik für Medieninformatiker

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

Aktuelles

  • Die Ergebnisse der Nachholklausur sind jetzt bei UniWorx veröffentlicht. Wegen der geringen Teilnehmerzahl gibt es keine allgemeine Klausureinsicht. Wenn Sie Ihre Klausur einsehen möchten, machen Sie bitte per Email einen Termin mit Herrn Johannsen aus.
  • Die Nachholklausur fand am Mittwoch, den 21.10. von 18-21 Uhr im Hörsaal M 218 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, Raphael Höps, Andrea Kuchar
  • 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.
    Wer bei den Hausaufgaben 50% der Punkte erreicht, erhält einen Bonus für die Klausur. Dabei entsprechen 100% der Übungspunkte einem Bonus in Höhe von ca. 10% der Klausurpunkte.
    Plagiate bei der Lösung der Hausaufgaben werden mit der Nichtwertung des gesamten Blattes geahndet. Im Wiederholungsfall können weitergehende Sanktionen in Erwägung gezogen werden.


Zeit und Ort

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

Material zur Vorlesung

Videoaufzeichnungen aus dem Jahr 2013.

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 Donnerstag, den 23. 7. ab 17:15 in der Hörsälen M 218 und M 105 im Hauptgebäude statt.

    Nachholklausur

    Die Nachholklausur fand am Mittwoch, den 21.10. von 18-21 Uhr im Hörsaal M 218 im Hauptgebäude statt.

    Artikelaktionen


    Funktionsleiste