Схема вычисления индуктивной функции может быть несколько упрощена при условии наличия у функции:
Схема вычисления индуктивной функции позволяет легко построить программу вида:
Какая функция позволяет написать программу, реализующую схему вычисления индуктивной функции:
Для того чтобы расширить сферу применимости схемы вычисления индуктивной функции вводится понятие:
Простым примером, иллюстрирующим схему вычисления индуктивной функции, является задача нахождения значения многочлена:
Для вычисления значения f(w) не являющейся индуктивной функции f на цепочке w применяется следующая:
Для доказательства факта, что заданная функция не является индуктивной, применяют:
При использовании схемы вычисления инвариантной функции необходимо указать:
Функция f:X*->Y называется индуктивной, если f(w o x) можно вычислить, зная:
Теоремой, на которой базируется схема проектирования цикла при помощи инварианта, является утверждение, которое:
