Fallstudie - Wechselwegnahme

Korrektheitsfragen

Am Beispiel eines bereits in der Antike benutzten Algorithmus werden wir hier Korrektheitsfragen diskutieren und klären. Dabei werden wir das Verhalten des betrachteten Algorithmus untersuchen und präzise beschreiben.