Создан заказ №392034
17 декабря 2014
Мат.логика, бинарные операции, машина тьюринга
Как заказчик описал требования к работе:
5 заданий по мат.логике и теории алгоритмов. 1. Доказать выводимость теоремы, пользуясь аксиомами Клини или (A1)-(A3).
2.Доказать выводимость формулы, пользуясь правилом резолюции для исчисления высказываний и определением импликации
3.Найти наибольший общий унификатор двух заданных термов.
4. Доказ
ать, что заданная функция, определенная для неотрицательных целых аргу-ментов, является примитивно рекурсивной.
5. Задача для машины тьюринга
подробнее
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
18 декабря 2014
Заказ завершен, заказчик получил финальный файл с работой
5
Мат.логика, бинарные операции, машина тьюринга.docx
2019-02-22 14:49
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Работа выполнена качественно и досрочно. Спасибо автору за проделанную работу!!! Всем рекомендую сотрудничать с автором