Rückwärts-Beweis

"

{ N ³ 0 }

sum := 0 ;

k := 0

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

{ P } C1 { R }

{ R } C2 { Q }

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen