Berechenbarkeit und Komplexität (WS 2018/19)
Sie dürfen die Themen in diesem Forum nicht sehen
Abschnittsübersicht
-
In dieser Lehrveranstaltung behandeln wir wesentliche Bereiche der Theoretischen Informatik, d.h., der "ewigen Wahrheiten" der Informatik, die auf der Grundlage der Mathematik/Logik ein für allemal bewiesen wurden und die unabhängig von weiteren technologischen Entwicklungen sind. Zentrale Fragestellungen sind dabei der Begriff der Berechenbarkeit (was ist berechenbar und was nicht?) und der Komplexität (wie groß ist der für eine Berechnung notwendige Aufwand?).
Um an der Lehrveranstaltung teilzunehmen, müssen Sie sich wie üblich im KUSSS System dafür (jeweils Vorlesung und Übung separat) anmelden. Wenn Sie sich auch im Moodle einloggen und als Kursteilnehmer eintragen, erhalten Sie per Email alle ins "Ankündigen"-Forum gestellte Nachrichten und können selbst Nachrichten ins "Fragen und Antworten"-Forum stellen.
-
A.Univ.Prof. DI Dr. Wolfgang Schreiner
Freitag, 12:00-13:30; HS 10; Beginn: 5. Oktober 2018
Folien
Lehrbücher
- Dirk W. Hoffmann: Theoretische Informatik
- John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Introduction to Automata Theory, Languages and Computation (deutsche Ausgabe: Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit)
- Michael Sipser: Introduction to the Theory of Computation
- Thomas H. Cormen et al: Introduction to Algorithms
Das Buch von Hoffmann bietet eine sehr lesenswerte deutsche Einführung in das Thema.
Klausur- 2. Termin: Dienstag, 26. März 2019, 17:15-18:45, HS 5
- Alle schriftlichen (keine elektronischen) Unterlagen sind zugelassen.
- Anmeldung im KUSSS ab 4. März bis 25. März 12:00.
- Einsicht Klausur vom 1.2.: Dienstag, 5. März 2019, 11:15-12:00, S2 0327.
-
Dr. Nikolaj Popov und Dr. Ralf Hemmecke
- 326.004 -- Do, 8:30-9:15 BA 9912
(Dr. Nikolaj Popov)
Beginn: 1. Oktober 2018 - 326.018 -- Do, 9:15-10:00 BA 9912
(Dr. Nikolaj Popov)
Beginn: 1. Oktober 2018 - 326.016 -- Fr, 10:15-11:00 H12
(Dr. Ralf Hemmecke)
Beginn: 5. Oktober 2018 - 326.050 -- Fr, 11:00-11:45 H12
(Dr. Ralf Hemmecke)
Beginn: 5. Oktober 2018
Übungsklausuren (für alle Übungsgruppen):
(Unterlagen sind nicht zugelassen)
1. Klausur: 30.11.2018 14:30-15:15, H 1
2. Klausur: 18.01.2019 14:30-15:15, H 1
Die Übungsaufgaben sind ca. zwei Wochen vor Übungsbeginn hier verfügbar.
- 326.004 -- Do, 8:30-9:15 BA 9912
(Dr. Nikolaj Popov)