Semantyka i weryfikacja programów/Ćwiczenia 13

Weryfikacja programow

{{cwiczenie|1|cw1|

x := 1; y := 0;
$\mathbf{𝐰}\mathbf{𝐡}\mathbf{𝐢}\mathbf{𝐥}\mathbf{𝐞}$ x <= n $\mathbf{𝐝}\mathbf{𝐨}$
  y := y + x;
  x := x + 1

Rozwiązanie

{{{3}}}

Zadania domowe

{{cwiczenie|1|cw1.dom|