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:
- Automaten und Formale Sprachen
Deterministische und nicht-deterministische endliche Automaten, reguläre Ausdrücke, Grammatiken, kontextfreie Sprachen, Pushdown-Automaten - Berechenbarkeit
Turing-Maschinen, Church'sche These, Unentscheidbarkeit, Halteproblem, Reduktion - 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
| Veranstaltung | Zeit | Ort | Beginn |
|---|---|---|---|
| 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.
Übungen
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