Как доказать через правила Хоара?
Докажите следующее вычисление, используя правила Ho-is? где c - команда, в то время как X ≤ 100 делает X:= X + 2 с местоположением X.
{X ≤ 100 ∧ (∃iX = 2 × i + 1)}c{X = 101}
где я - целое число
Докажите следующее вычисление, используя правила Ho-is? где c - команда, в то время как X ≤ 100 делает X:= X + 2 с местоположением X.
{X ≤ 100 ∧ (∃iX = 2 × i + 1)}c{X = 101}
где я - целое число