Главная /
Логическое программирование /
Укажите определение линейной стратегии резолюции:
Укажите определение линейной стратегии резолюции:
вопросПравильный ответ:
стратегия, при которой литера для применения резолюции выбирается в соответствии с некоторым правилом
стратегия, при которой значение имеет порядок литер в дизъюнктах, который сохраняется при применении правила вывода
стратегия, при которой на каждом шаге резолюции в качестве одной из посылок используется формула, полученная на предыдущем
Сложность вопроса
94
Сложность курса: Логическое программирование
29
Оценить вопрос
Комментарии:
Аноним
Большое спасибо за гдз по intiut'у.
11 фев 2019
Аноним
спасибо
15 май 2016
Другие ответы на вопросы из темы программирование интуит.