Доказать общерекурсивность функции Px y=x⋅y. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по логике
Доказать общерекурсивность функции Px y=x⋅y

Доказать общерекурсивность функции Px y=x⋅y .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Доказать общерекурсивность функции: Px, y=x⋅y; sgnx=1, x≠0,0, x=0.

Решение

Потяни, чтобы посмотреть

Для доказательства общерекурсивности умножения используется общерекурсивность сложения т.е. используется, что Sumx, y=x+y — общерекурсивная функция:
Sumx, 0=x=I11x,Sumx, y+1=Sumx, y+1=I33x, y,λSumx, y.
Тогда произведение можно определить с помощью простейшей рекурсии таким образом:
Px, 0=0,Px, y+1=Px, y+x или Px, 0=Ox,Px, y+1=SumPx, y, x=I33x, y,SumPx, y, x.
2) Схема примитивной рекурсии для функции f одной переменной имеет вид:
f0=const,fx+1=hx, fx.
Тогда:
sgn0=Ox,sgnx+1=λOsgnx=I22x, λOsgnx.

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу