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