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