Dezimalbruch/Halbierung/Algorithmus/Korrektheit/Fakt/Beweis/Aufgabe

Zeige, dass der Algorithmus zur Berechnung der Halbierung eines Dezimalbruches korrekt ist.