Докажите, что существует примитивно рекурсивная функция $%f: N\times N\to N$% такая что для всех последовательностей $%(x_1,\dots,x_n)$% и $%(y_1,\dots, y_n)$% длины $%n$% верно $$f(p^\ast(x_1,\dots, x_n),p^\ast(y_1,\dots, y_n))=p^\ast(x_1\cdot y_1,\dots, x_n\cdot y_n)$$

Точка обозначает умножение натуральных чисел.

Напомним определение $%p^\ast$%:

Пусть $%S$% - множество последовательностей. Тогда $$p^\ast:S\to N$$ $$\epsilon\mapsto p_2(0,0)\\n\mapsto p_2(0,n+1)\\ (n_1,\dots, n_k)\mapsto p_2(k-1,p_k(n_1,\dots,n_k))$$

задан 30 Ноя 23:41

10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×821

задан
30 Ноя 23:41

показан
24 раза

обновлен
30 Ноя 23:41

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru