Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Неразрешимые алгоритмические проблемы МТ
ние описывает элементарный случай y=0 и соответствует последнему шагу рекурсии.
Примеры ПРФ. Опишем с помощью предлагаемых аксиом и правил вывода несколько теорем, вычислимых функций арифметики и анализа:
Функции арифметики.
Опишем функцию сложения: f+(x,y)=x+y, используя оператор примитивной рекурсии:
f+(x,y+1)=f+(x,y)+1,
f+(x,0)=x.
Запишем правые части системы уравнений через базовые ПРФ. Для первого уравнения применим оператор подстановки: x`(f+(x,y))=f+(x,y)+1. Правая часть второго уравнения есть проецирующая функция: I11(x)=x.
В итоге ПРФ сложения f+:
f+(x,y+1)=x`(f+(x,y)),
f+(x,0)=I11(x).
В дальнейшем будем использовать инфиксную запись, например x+y вместо префиксн
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
