Задача 1. Дана блок-схема над 1 входной переменной, 1 промежуточной переменной и 1 выходной переменной. Домены всех переменных — множество всех целых чисел. Сигнатура mc91 имеет домены аргументов и результатов — множества всех целых чисел. При помощи методов Флойда докажите полную корректность этой блок-схемы относительно спецификации \varphi(x) \equiv T, \psi(x, z) \equiv (x \geq 101 \Rightarrow z = x — 10) \land (x < 101 \Rightarrow z = 91), если сигнатуре mc91 сопоставлена данная блок-схема.
Решение (теорию со всем необходимым, а также сессию доказательства) присылайте на почту kornevgen@cs.msu.ru до 23:59 22 марта. Требования к оформлению решения те же, что и в прошлой домашней работе.