Rückwärts-Beweis

{ N ³ 0 }

sum := 0 ;

k := 0 ;

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

WHILE k < N DO

BEGIN

k := k+1 ;

sum := sum+k

END

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

"

{ P } C1 ; C2 { Q }

R

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen