Главная / Стили и методы программирования / Унифицируются ли и Как унифицируются следующие выражения: f(F(X), g(Y, h(Y))) F(h(a), g(F(X), Z))

Унифицируются ли и Как унифицируются следующие выражения: f(F(X), g(Y, h(Y))) F(h(a), g(F(X), Z))

вопрос

Правильный ответ:

не унифицируются
x=h(a), Y=F(X), Z=h(Y), F=f
Z=h(f(h(a))), x=h(a), Y=f(h(a)), F=h
x=h(X), Y=f(h(X)), Z=h(f(h(X))), a=X, F=h
F=f, X=h(a), Y=F(h(a)), Z=h(F(h(a)))
Сложность вопроса
82
Сложность курса: Стили и методы программирования
93
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
спасибо
28 авг 2019
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.