Создан заказ №1195599
19 мая 2016
Доказать, что следующий предикат является (или не является) (примитивно) рекурсивным:
Как заказчик описал требования к работе:
Доказать, что следующий предикат является (или не является) (примитивно) рекурсивным:
«х есть геделев номер аксиом S(i)» ,
где S(i) – номер собственной аксиомы формальной арифметики в нумерации: Э. Мендельсон. Введение в мат. лог. М., 1971.: гл.3 «Формальная арифметика»; § 1; с. 116. i = 1; 2; 3;
4.
(Мендельсон.: С.151-).
подробнее
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией, чтобы исполнитель повысил уникальность работы
22 мая 2016
Заказ завершен, заказчик получил финальный файл с работой
5
Доказать, что следующий предикат является (или не является) (примитивно) рекурсивным:.docx
2017-11-22 11:52
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Отличный автор, выполняет все правильно, быстро и очень качественно, всем советую!