Crowdly
Додати до Chrome
Розглянемо цикл типу While - (while(B) S;) , де B - предикат, що задає умову ци...
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Розглянемо цикл типу While - (while(B) S;) , де B - предикат, що задає умову циклу, а S - тіло циклу. Тільки деякі інваріанти циклу, звані відповідними інваріантами циклу, можуть використовуватися як доказ коректності циклу. Які твердження є істинними по відношенню до відповідного інваріанта Inv :
( *** CSharp 3.1 *** )
✅
❌
✅
✅