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