In dieser LVA behandeln wir den formalen Berechenbarkeitsbegriff anhand von rekursiven Funktionen und Turingmaschinen. Darauf aufbauend befassen wir uns mit der Entscheidbarkeit bzw. Unentscheidbarkeit von Problemen, mit Komplexitätsklassen und vollständigen Problemen.
- Lektor: Ralf Hemmecke
- Lektor: Wolfgang Schreiner
- Lektor: Burkhard Zimmermann