Crowdly
Add to Chrome
Розглянемо цикл типу While - (while(B) S;) , де B - предикат, що задає умову ци...
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Розглянемо цикл типу While - (while(B) S;) , де B - предикат, що задає умову циклу, а S - тіло циклу. Тільки деякі інваріанти циклу, звані відповідними інваріантами циклу, можуть використовуватися як доказ коректності циклу. Які твердження є істинними по відношенню до відповідного інваріанта Inv :
( *** CSharp 3.1 *** )
✅
❌
✅
✅