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}

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

sum=k*(k+1)/2

Þ

{k< N Ù sum = S{i|0£i£ k}

k := k+1 ;

sum := sum+k

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

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

1.

2.

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen