Themen und Termine
Hier ein vorläufige Zeitplan. Alle Zeiten sind nur Richtwerte (außer 11:00 Uhr Beginn) und werden an die tatsächliche Dauer der Vorträge angepasst.
1. September, 2021: Peters, Faas
11:00 bis 12:00: Folienvorträge
12:00 bis 13:00: Mittagspause
13:00 bis 14:30: Tafel, Peters
14:30 bis 14:45: Pause
14:45 bis 16:15: Tafel, Faas
2. September, 2021: Lohse, Mansion
11:00 bis 12:00: Folienvorträge
12:00 bis 13:00: Mittagspause
13:00 bis 14:30: Tafel
14:30 bis 14:45: Pause
14:45 bis 16:15: Tafel
Kozen, Automata and Computatbility:
- Kapitel J: Beyond Undecidability - Arithmetic Hierarchy (s. auch ToC Kapitel 35, 36)
Kozen, Theory of Computation:
- Kapitel 32: Gap Theorems
Schöning & Pruim, Gems of Theoretical Computer Science:
(elektronischer Zugang anscheinend nur über die MPI-Domain. Melden Sie sich bitte, wenn Sie Zugang brauchen.)
- Kapitel 1: Post's Problem (s. auch Kozen ToC, 37 & 38)
- Kapitel 2: Hilbert's 10th Problem
- Kapitel 3: The Equivalence Problem for LOOP(1) and LOOP(2) Programs
Schöning, Theoretische Informatik - kurzgefasst
(gibt es nur gedruckt; sie können hier auch das TI-Skript verwenden)
- Kapitel 2.4 Primitiv- und mu-rekursive Funktionen -- Benjamin Peters
- Kapitel 2.5 Ackermann-Funktion -- Cedric Faas
- Kapitel 2.9 Der Gödelsche Satz -- Janine Lohse und Nico Mansion