Semantyka i weryfikacja programów/Ćwiczenia 13

Weryfikacja programow

Ćwiczenie 1

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

Rozwiązanie

{{{3}}}

Zadania domowe

Ćwiczenie 1