Создан заказ №3027481
17 мая 2018
Математическая логика. Другие аксиоматизации Исчисления Высказываний.
Как заказчик описал требования к работе:
- Вывод аксиом систем L1, L2, L3 в системе L(Исчисление Высказываний) и обратно. [фото]
- Доказать независимость аксиом этих систем. (на примере: http://mathhelpplanet.com/static.php?p=nezavisimost-s..)
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией для внесения правок на основе комментариев преподавателя
20 мая 2018
Заказ завершен, заказчик получил финальный файл с работой
5
Математическая логика. Другие аксиоматизации Исчисления Высказываний. .docx
2018-05-23 14:10
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Было приятно работать с автором. Работу выполнила качественно и вовремя, по моей просьбе вносила изменения даже по истечении гарантийного срока.
Хочешь такую же работу?
300 ₽
