Главная /
Основы программирования на языке Пролог /
Обязательно ли завершается за конечное число шагов метод резолюций в случае, если исходное множество дизъюнктов невыполнимо?
Обязательно ли завершается за конечное число шагов метод резолюций в случае, если исходное множество дизъюнктов невыполнимо?
вопросПравильный ответ:
да
нет
Сложность вопроса
93
Сложность курса: Основы программирования на языке Пролог
85
Оценить вопрос
Комментарии:
Аноним
Я провалил зачёт, почему я не нашёл этот чёртов сайт с всеми ответами с тестами intuit до того как забрали в армию
11 июн 2017
Другие ответы на вопросы из темы программирование интуит.
- # В правиле резолюции резольвируемыми называются:
- # Вопрос - это предложение, которое состоит
- # Отсечение предназначено для того, чтобы:
- # Изменится ли результат, если в предикате, реализующем симметрическую разность, поменять местами первый и второй аргументы?
- # Будет ли множество [1,2,3] совпадать со множеством [2,1,3]?