Создан заказ №5073285
19 мая 2020
Доказать, что следующий предикат является (или не является) (примитивно) рекурсивным
Как заказчик описал требования к работе:
Доказать, что следующий предикат является (или не является) (примитивно) рекурсивным: «х есть геделев номер частного случая схемы аксиом S(9)» , где S(9) – номер собственной аксиомы формальной арифметики в нумерации : Э. Мендельсон Введение в мат. лог. стр. 116
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
20 мая 2020
Заказ завершен, заказчик получил финальный файл с работой
5
Доказать, что следующий предикат является (или не является) (примитивно) рекурсивным.docx
2020-05-23 16:52
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Сделано очень быстро, раньше срока, аккуратно, качественно, расписаны все задания, отличный автор!