Planung Wochenende Bevensen:

Fr abend

KE 1

Flußdiagramme, Registermaschinen

KE 2

Verfeinerung, Simulation

Sa morgen

KE 3

Band-Maschinen

Sa mittag

KE 4

primitiv-rek, m-rek, Diagonalisierung

Sa abend

KE 5

utm-Theorem, smn-Theorem

KE 6

Rekursive und r.a. Mengen, Beweis (Charakterisierung r.a.)

So morgen

KE 7

Numerierungen, Berechenbarkeit auf reellen Zahlen