Главная /
Логическое программирование /
Композиция унификаторов = будет в том случае, если:
Композиция унификаторов =
будет в том случае, если:
вопрос
Правильный ответ:
это формула или терм, в которой все вхождения
Xi
заменены на соответствующие термы ti
для всех формул
F = G
для всех формул
F : F = (F)
Сложность вопроса
83
Сложность курса: Логическое программирование
29
Оценить вопрос
Комментарии:
Аноним
Я завалил зачёт, какого рожна я не увидел этот крутой сайт с решениями по интуит прежде
25 дек 2019
Аноним
Это очень простой вопрос intuit.
20 мар 2019
Аноним
Экзамен прошёл на отлично. Ура
06 фев 2019
Другие ответы на вопросы из темы программирование интуит.
- # Какой контроль типов данных в программе требует более жесткой системы типизации?
- # Определите, чем является указанное ниже предложение на языке Prolog: studied_languages(X) :- studied(X,english)
- # Какой из языков программирования является логическим?
- # Формула F называется общезначимой, если:
- # Связанная переменная в программе на языке Prolog: