Создан заказ №4022944
18 мая 2019
Доказать неразрешимость предиката (равенство рекурсивно перечислимых множеств)
Как заказчик описал требования к работе:
Доказать, что предикат "p-ое рекурсивно перечислимое мн-во равно q-ому рекурсивно перечислимому мн-ву (Ap= Aq)" неразрешим.
Преподаватель рекомендовал ориентироваться на учебник Катленда "Вычислимость. Введение в теорию рекурсивных функций".
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией, чтобы исполнитель повысил уникальность работы
21 мая 2019
Заказ завершен, заказчик получил финальный файл с работой
5
Доказать неразрешимость предиката (равенство рекурсивно перечислимых множеств) .docx
2019-05-24 18:39
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Благодарна автору за проделанную работу.
Ответственный исполнитель. Работу выполнила по адекватной цене.
Рекомендую!