Terminierung

/* Gauss's theorem */

{ N > 0 }

begin

k := 0;

sum := 0;

while k < N do [ N-k ]

{ sum = k*(k+1) div 2 and k <= N }

begin

k := k+1;

sum := sum + k

end

end

{ sum = N*(N+1) div 2 }

Terminierungsterm

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen