Создан заказ №223627
19 мая 2014
Математическая логика.Разрешимость теории первого порядка
Как заказчик описал требования к работе:
Необходимы пояснения к дейсвиям в решении. Задание звучит так:Показать, что чистое исчисление предикатов, содержащее только одноместные предикатные буквы эффективно разрешимо
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
20 мая 2014
Заказ завершен, заказчик получил финальный файл с работой
5
Математическая логика.Разрешимость теории первого порядка .jpg
2019-05-28 19:06
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
отличная работа! автор сразу отвечает! выполнено качественно и быстро. спасибо огромное!