Задача 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\) сопоставлена данная блок-схема.
Решение (теорию со всем необходимым, а также сессию доказательства) присылайте на почту до 23:59 22 марта. Требования к оформлению решения те же, что и в прошлой домашней работе.