Создан заказ №8579303
27 мая 2022
Математическая логика. Доказать, что предикат является примитивно рекурсивным
Как заказчик описал требования к работе:
Доказать, что следующий предикат является (или не является) (примитивно) рекурсивным:
«х есть геделев номер аксиом S(i)» ,
где S(i) – номер собственной аксиомы формальной арифметики в нумерации: Э. Мендельсон. Введение в мат. лог. М., 1971.: гл.3 «Формальная арифметика»; § 1; с. 116. i = 5; 6; 7;
8
подробнее
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
30 мая 2022
Заказ завершен, заказчик получил финальный файл с работой
5
Математическая логика. Доказать, что предикат является примитивно рекурсивным.docx
2022-06-02 22:17
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
работа выполнена качественно, в соответствующее время. отличная работа, спасибо автору
Хочешь такую же работу?
300 ₽
