Zuweisungsregel

Zuweisungs

regel :

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}

P Þ Q[ x ® t ]

{ P } x := t { Q }

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen