Искусственный интеллект

Н Пф(х) з Dp, т.е. свойство р всегда имеет место в течение допустимого выполнения. Пример. Условие того, что у, всегда должно быть положительным для программы вычисления факториала, выглядит следующим образом: N (х > 0) з D0-, > 0). Другое условие глобальной инвариантности для этой программы может быть следующим: Пример. Свойство глобальной инвариантности для программы вычисления биноминальных коэффициентов имеет вид И (0 < к < п) з О[{п-к <уг < п) л (0 <уг<)]. Те же самые обозначения можно использовать для локальной инвариантности по отношению к определенному месту /: