Seminar Mathematische Logik - Rekursionstheorie (S1G1)

Dozenten

• Dr. Bernhard Irrgang
• Merlin Carl

Zeit und Ort

Donnerstag, 10-12, Seminarraum N 007 (Endenicher Allee, Neubau)

Vorträge

1. Registermaschinen (Kapitel I), Christian Lenz
2. Berechenbare Funktionen (Kapitel II, erster Teil), Friedrich Saas
3. Turing-Maschinen, Churchsche These (Kapitel II/III), Benni Wassermann
4. s-m-n Theorem (Kapitel IV), Nick Röder
5. Universelle Programme (Kapitel V), Alexander Knieps
6. Entscheidbarkeit (Kapitel VI), Thomas Heus
7. RE-Mengen und R-Mengen (Kapitel VII), Markus Ahrens
8. Gödelscher Unvollständigkeitssatz (Kapitel VIII), Raffael Stenzel
9. Theorie der Grade, relative Berechenbarkeit (Kapitel IX), Sebastian Opper
10. Rekursionstheoreme I (Kapitel X), Jörg Wester
11. Rekursiontheoreme II (Kapitel XI), Viktorija Kopmane
12. Komplexität (Kapitel XII), Marcell Karrenbauer
13. Komplexitätsklassen (Kapitel XII), Thomas Plohmann

Die Kapitelangaben beziehen sich auf das Buch "Computability" von N. Cutland.

Last changed: April 12, 2010