Создан заказ №2093534
17 мая 2017
Математическая логика. Доказательство по рекурсивным предикатам
Как заказчик описал требования к работе:
Доказать, что предикат Subst (a,b,u,v) примитивно рекурсивен. Subst(a,b,u,v): «v есть геделев номер некоторой переменной xi , u - геделев номер некоторого терма t, b - геделев номер некоторого выражения А, а - геделев номер ре-зультата подстановки t вместо всех вхождений xi в выражение А».
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией для внесения правок на основе комментариев преподавателя
20 мая 2017
Заказ завершен, заказчик получил финальный файл с работой
5
Математическая логика. Доказательство по рекурсивным предикатам.docx
2017-05-23 12:41
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Все сделано отлично, так как я и просил, с комментариями и описанием. Очень оперативно, намного раньше срока, что очень порадовало. Рекомендую
Хочешь такую же работу?
300 ₽
