Beweis eines Programms

sum := sum+k

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

{k< N Ù N ³ k Ù sum=k*(k+1)/2}

k := k+1

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

2.

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen