Seminar zur Mathematischen Logik

Dozenten

• Prof. Dr. Peter Koepke
• Dr. Thoralf Räsch

Zeit und Ort

Programm

1. Einführung in die Turing-Maschinen

   24.10.
   Michael Heindl

2. Turing-Maschinen als Algorithmen

   31.10.
   Dominique Loebach

3. Nicht-Deterministische Maschinen

   07.11.
   Rene Frings
´

4. Kurzer Überblick über andere Modelle (Churchsche These) + Universale TM

   14.11.
   Gregor Weckbecker

5. Mehr über Unentscheidbarkeit

   21.11.
   Tim Fischbach

6. Komplexitätsklassen + Hierarchie + Theorem 7.4

   28.11.
   Benjamin Seyfferth

7. Reduktion

   05.12.
   Andreas Glende

8. Vollständigkeit

   19.12.
   Axel Schmitjans

9. Beispiele für NP-Vollständigkeit

   9.1.
   Friedemann Diener

10. Randomisierte Algorithmen

    16.01.
    Ulla Schmid-Fetzer

11. Funktionale Probleme und Random Walks

    23.01.
    Dörthe-Anrdt

12. Randomisierte Komplexitätsklassen

    30.01.
    Jewgeni Strekalowski

Angabe der Daten unter Vorbehalt; Verschiebungen sind möglich.

Literatur