Миронов А.М. Теория функциональных программ

Выходные данные не указаны. — 98 с. Введение
Метод функционального программирования
Строки и функции на них
Примеры ФП
Конкатенация строк
Инвертирование строки
Поиск подстроки
Функциональные программы
Домены и функции на них
Типы и домены
Пополненные домены
Монотонные функции
Естественные продолжения
ЧУМ монотонных функций
Полные ЧУМ
Термы
Переменные и константы
Функциональные символы
Функциональные переменные
Термы
Функции, соответствующие термам
Значения термов
Функции, соответствующие термам
Означивания функциональных переменных
Функциональные программы
Понятие функциональной программы
Функционал, соответствующий ФП
Непрерывные функционалы на полных ЧУМ
Неподвижные точки функционалов на полных ЧУМ
Непрерывность функционалов, соответствующих ФП
Нахождение ННТ ФП
Примеры НТ ФП
Немонотонные ФП
Алгоритмическая полнота
Вычисление значений ННТ ФП
Постановка задачи
Метод решения
Вычислительные правила
Упрощение терма
Функция C
Вспомогательные понятия
Полные раскрытия
Индексированные термы
Индексированные переходы
Безопасные вычислительные правила
Свойства правил PO, LO, PI, LI
Безопасность PO
Безопасность LO
Пример небезопасности LO
Пример небезопасности PI и LI
Верификация ФП
Задача верификации ФП
Метод вычислительной индукции
Описание метода
Примеры верификации ФП методом ВИ
Метод структурной индукции
Описание метода
Примеры верификации ФП методом СИ
Другие методы верификации ФП
Оценка ННТ сверху
Эквивалентные преобразования ФП
Задачи
Нахождение ННТ ФП
Доказательство того, что ННТ ФП имеет заданный вид
Свойства ННТ ФП
Совпадение функций, определяемых различными ФП