Rückwärts-Beweis

{ 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 }

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen