Przeprowadzić dowód poprawności częściowej następującego programu:
{\(\displaystyle{ a:{n \ge 1}}\)}
\(\displaystyle{ x: =1; y:=0;}\)
\(\displaystyle{ while x\le n do}\)
\(\displaystyle{ y:=y+ 2x;}\)
\(\displaystyle{ x:= x+1}\)
{\(\displaystyle{ {y=2 ( n \frac{(n+1)}{2} ) }}\)}
czy ktos moze pomoc w ogarnięciu zadania?