Semantyka i weryfikacja programów/Ćwiczenia 13: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 9: | Linia 9: | ||
}} | }} | ||
{} | <math>{n\geq1}</math> | ||
x := 1; y := 0; | x := 1; y := 0; | ||
<math>\mathbf{while}\,</math> x <= n <math>\,\mathbf{do}\,</math> | <math>\mathbf{while}\,</math> x <= n <math>\,\mathbf{do}\,</math> | ||
Wersja z 15:39, 11 sie 2006
Zawarto¶æ
Weryfikacja programow
Ćwiczenie 1
x := 1; y := 0;
x <= n
y := y + x;
x := x + 1
{}
Rozwiązanie
{{{3}}}
Zadania domowe
Ćwiczenie 1
