12.07.2015 Views

C++ - VideoTutorials-bg.com

C++ - VideoTutorials-bg.com

C++ - VideoTutorials-bg.com

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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

y1=0; y2=x1;while (y2>=x2){y1++;y2=y2-x2;}Съществуват различни подходи за построяване на инварианта на цикъл.Най-често използвани са: отстраняване на конюнктивен член, замяна наконстанта с променлива, комбиниране на предусловие и следусловие. Щеги илюстрираме чрез следващите задачи.Задача 105. Дадено е цялото число n, n≥0. Да се синтезира програмана езика <strong>C++</strong>, която намира най-голямото цяло число a, чийто квадрат ене по-голям от n.От условието на задачата, за предусловие и следусловие определяме:Q: n≥0R: a≥0 ∧ a 2 ≤n ∧ n

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

Saved successfully!

Ooh no, something went wrong!