проверка набора основных примеров на противоречивость

  • Вид работы: Другое
  • Специальность: Логика
  • Бюджет заявки: 1 000 руб.
  • Статус заказа: Поиск исполнителя
  • Просмотрено: 1085 раз.

язык логики предикатов. следует разработать программу, которая будет выполнять проверку набора основных примеров на противоречивость. 


Файлы проекта:


Предложения специалистов: ✍ 0

Предложений нет
Оставлять свои предложения по проекту могут только зарегистрированные пользователи с аккаунтом специалиста.
Зарегистрируйтесь или войдите на сайт под своим именем.