1. Vortrag: Registermaschinen und Turingmschinen
[1], 2.1 - 2.3
Vortragender: Maksym Shubskyi
Termin: wird noch festgelegt!
2. Vortrag: Unentscheidbarkeit des Halteproblems
[1], 2.5 - 2.6
Vortragender: Pavlo Golubovskyi
Termin: wird noch festgelegt!
3. Vortrag: Rekursive und rekursiv aufzählbare Sprachen
[1], 2.7 - 2.8
Vortragender:
Termin: wird noch festgelegt!