Главная /
Логическое программирование /
Укажите дополнительное правило SLDNF-резолюции:
Укажите дополнительное правило SLDNF-резолюции:
вопросПравильный ответ:
выводимо тогда и только тогда, когда A имеет конечное дерево вывода, заканчивающееся неуспехом невыводимо тогда, когда A имеет конечное дерево вывода, заканчивающееся неуспехом выводимо тогда и только тогда, когда A имеет конечное дерево вывода, заканчивающееся успехом Сложность вопроса
86
Сложность курса: Логическое программирование
29
Оценить вопрос
Комментарии:
Аноним
Я завалил зачёт, какого рожна я не нашёл данный сайт с решениями по тестам интуит до сессии
17 сен 2020
Аноним
Если бы не опубликованные ответы - я бы не осилил c этими тестами intuit.
04 дек 2015
Другие ответы на вопросы из темы программирование интуит.