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