проверка набора основных примеров на противоречивость
- Вид работы: Другое
- Специальность: Логика
- Бюджет заявки: 1 000 руб.
- Статус заказа: Поиск исполнителя
- Просмотрено: 1121 раз.
язык логики предикатов. следует разработать программу, которая будет выполнять проверку набора основных примеров на противоречивость.
Файлы проекта:
Предложения специалистов: ✍ 0
Предложений нет
Оставлять свои предложения по проекту могут только зарегистрированные пользователи с аккаунтом специалиста.
Зарегистрируйтесь или войдите на сайт под своим именем.
Зарегистрируйтесь или войдите на сайт под своим именем.