Доказать общерекурсивность функции 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% задачи недоступно для прочтения

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

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

Покажите несостоятельность демонстрации указав

2125 символов

Логика

Решение задач

Определите отношения между объемами следующих понятий

665 символов

Логика

Решение задач

Суждение «Если Солнце всходит на западе то и заходит оно тоже на западе» является а) истинным б) ложным в) бессмысленным г) неопределенным

395 символов

Логика

Решение задач

Закажи решение задач

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.