#827056
Укажите верную формулировку теоремы об ослаблении свойств программы
Варианты ответа:
  • пусть Р, Q, P1 и Q1 — предикаты над информационной средой IS, для которых справедливы импликации Р1=>Р и Q=>Q1, и пусть для оператора S справедливо свойство {P}S{Q}. Тогда справедливо свойство {P1}S{Q1}
  • пусть Р, Q, P1 и Q1 — предикаты над информационной средой IS, для которых справедливы импликации Р1=>Q и Q=>Q1, и пусть для оператора S справедливо свойство {P}S{Q}. Тогда справедливо свойство {P1}S{Q1}
  • пусть Р, Q, P1 и Q1 — предикаты над информационной средой IS, для которых справедливы импликации Р1=>Р и Q=>Q1, и пусть для оператора S справедливо свойство {P}S{Q}. Тогда справедливо свойство {Q}S{P1}
Тематика: Внедрение и эксплуатация прикладного ПО Моделирование и анализ программного обеспечения Технология разработки программного обеспечения
Курсы в категории: Информационные технологии
📚 Похожие вопросы по этой дисциплине
Укажите характеристику первого, начального уровня зрелости организации, согласно модели эффективного проц Целью какого подхода к обеспечению надежности программных средств является недопущение ошибо Чем характеризуются организации на четвертом уровне зрелости, согласно модели эффективного процесс Что включается в понятие качества программного ср Что включает в себя управление продукцией в стандар