1. Главная
  2. Библиотека
  3. Высшая математика
  4. Пусть σ(х,у)=х+у и ρ(х,у)=х·у для любых натуральных х, у. Доказать примитивную рекурсивность функции относительно совокупн...

Пусть σ(х,у)=х+у и ρ(х,у)=х·у для любых натуральных х, у. Доказать примитивную рекурсивность функции относительно совокупности функций { σ, ρ, Cnq } для подходящих n и q.

«Пусть σ(х,у)=х+у и ρ(х,у)=х·у для любых натуральных х, у. Доказать примитивную рекурсивность функции относительно совокупности функций { σ, ρ, Cnq } для подходящих n и q.»
  • Высшая математика

Условие:

Пусть σ(х,у)=х+у и ρ(х,у)=х·у для любых натуральных х, у.

Доказать примитивную рекурсивность функции относительно совокупности функций { σ, ρ, Cnq } для подходящих n и q.

Решение:

Следует показать, что функция сложения q(x,y)=x+y примитивно-рекурсивная функция.

Действительно, q (x,0) = x + 0 = (x) (функция здесь это базовая примитивно-рекурсивная функция, сопоставляющая упорядоченному множеству из n переменных q-ую по очереди переменную).

q (x,y+1) = x+y+1 = q(x,y,f(x,y)...

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет