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 1: | Linia 1: | ||
== Zawarto¶æ == | == Zawarto¶æ == | ||
| Linia 9: | Linia 7: | ||
{{cwiczenie|1|cw1| | {{cwiczenie|1|cw1| | ||
}} | |||
{} | |||
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> | ||
y := y + x; | y := y + x; | ||
x := x + 1 | x := x + 1 | ||
{} | |||
{{rozwiazanie||roz1| | {{rozwiazanie||roz1| | ||
| Linia 31: | Linia 29: | ||
{{cwiczenie|1|cw1.dom| | {{cwiczenie|1|cw1.dom| | ||
}} | |||
Wersja z 14:50, 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
