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

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

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

Являются ли правильными следующие рассуждения

355 символов

Логика

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

Признав первое суждение истинным определите

645 символов

Логика

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

Какой закон логики иллюстрирует следующее высказывание

279 символов

Логика

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

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

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