Semantyka i weryfikacja programów/Ćwiczenia 13

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Zawarto¶æ

Weryfikacja programow

Ćwiczenie 1 

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

Rozwiązanie

{{{3}}}


Zadania domowe

Ćwiczenie 1

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Semantyka_i_weryfikacja_programów/Ćwiczenia_13&oldid=15410”