Beweis eines Programms

{N ³ 0 Ù sum=0 Ù k=0}

WHILE k < N DO

BEGIN

k := k+1 ;

sum := sum+k

END

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

{sum = k*(k+1)/2}

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen