| Dienstag | 10:15 - 11:45 | Uhr | HS 3.07 |
| Donnerstag | 12:15 - 13:45 | Uhr | HS 3.28 |
| Dienstag | 8:15 - 9:45 | Uhr | Raum 1.30 | bei Frau Dr. Winter |
| Dienstag | 14:15 - 15:45 | Uhr | Raum 1.30 | bei Herrn Mielke |
| Donnerstag | 10:15 - 11:45 | Uhr | Raum 0.04 | bei Frau Dr. Schwarz |
Literaturempfehlungen, die Folien zur Vorlesung und die theoretischen Übungsaufgaben finden Sie unter http://users.informatik.uni-halle.de/~winter/THEOaktuell.html
Ein paar Beispiele zu partiell rekursiven Funktionen gibt es hier.
Autotool-Aufgaben wird es auch wieder geben. Sie können sich dort schon einschreiben.