<<
>>

Применение правила вывода для последовательности

Пусть дана программа из двух операторов, причем для нее записано постусловие:

По аксиоме присваивания предусловие для 2-го оператора Ь := а + 5 равно {а < 5}.

Правило для последовательности позволяет использовать это предусловие как постусловие для 1-го оператора а := 2 * с - 1.

Тогда соответствующее предусловие 1-го оператора и всей программы (по аксиоме присваивания) равно:

<< | >>

Еще по теме Применение правила вывода для последовательности:

  1. четыре важных для нас вывода:
  2. четыре важных для нас вывода:
  3. Выводы. Создайте для него уютный дом
  4. IV. 3. ПРИМЕНЕНИЕ ГЕОМЕТРИЧЕСКОЙ МОДЕЛИ ДЛЯ ВЫДВИЖЕНИЯ ГИПОТЕЗЫ
  5. § 19 Правила для приведения в известность безмерных дач и сословного владения. Разнопоместные земли и специальное межевание
  6. 1. Понятие программы для ЭВМ, базы данных и топологии интегральной микросхемы и основные правила их охраны
  7. Применение социологических методик для изучения журналистов
  8. Применение социологических методик для изучения журналистов
  9. Упражнение для диагностики чакр с применением маятника
  10. Применение стратегии Аристотеля для исследования и организации проблемного пространства
  11. 1. Значение и сфера применения договора поставки товаров для государственных нужд
  12. Выбор кода для входа в информационный канал Вселенной и правила работы маятником на информационном уровне находятся вне компетенции автора.
  13. 3.8.2. Применение методов правовой информатики и правовой кибернетики для исследования информационного права
  14. § 45 Меры к охранению открывшегося наследства. – Опись. – Вызов наследников. – Утверждение в правах наследства. – Срок на явку наследников и вступление явившихся. – Особые правила для торгового сословия.
  15. Последовательность и непоследовательность