12.07.2015 Views

C++ - VideoTutorials-bg.com

C++ - VideoTutorials-bg.com

C++ - VideoTutorials-bg.com

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

така че да е в сила импликацията Q ⇒ Wp(S0, P). Имаме:n ≥ 2 ⇒ f2(n, f1(n)) = (∀k: f1(n)≤k≤n-2: x k ≤x k+1 ) ∧ 0≤f1(n)≤n-2За да е в сила тази импликация, за f1(n) избираме n-2, а за f2(n,f1(n)) – x n-2 ≤x n-1 . ПолучавамеS0: i=n-2;z=x[n-2]0и очевидно е в сила. Остава да намерим тялото S на оператора зацикъл, така че да са в сила условия 2 и 5 от списъка от условия засинтез на оператора while. S търсим от вида:i=g1(n,i,z);z=g2(n,i,z);Тъй катоWp(t1=t; S, t

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!