Главная /
Структуры данных и модели вычислений /
Пусть P - трехместный предикатный символ; f , g - одноместные функциональные символы; x, y, z - переменные; b - константа. Какие из формул A= P(b, y, f (g(y))), B= P(x, f (z), f (z)) и C= P(x, f (x), f (z)) унифицируемы?
Пусть P - трехместный предикатный символ; f , g - одноместные функциональные символы; x, y, z - переменные; b - константа. Какие из формул A= P(b, y, f (g(y))), B= P(x, f (z), f (z)) и C= P(x, f (x), f (z)) унифицируемы?
вопрос
Правильный ответ:
A и B
A и С
С и B
Сложность вопроса
78
Сложность курса: Структуры данных и модели вычислений
82
Оценить вопрос
Комментарии:
Аноним
Экзамен сдал на 4. Спасибо vtone
15 июл 2020
Аноним
Зачёт всё. Лечу выпивать отмечать экзамен интуит
29 дек 2017
Аноним
Пишет вам преподаватель! Немедленно заблокируйте ответы с интуит. Умоляю
13 фев 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Какие из перечисленных функций принадлежат классу Ω(n2)?
- # Сколько узлов в биномиальном дереве B5?
- # Как изменится число биномиальных деревьев в биномиальном лесе с общим количеством узлов равным 60 при удалении из него одного элемента?
- # Какие из записей является результатом удвоения числа 3b8b45, заданного в избыточными b-арном представлении (b=10)?
- # Сколько может быть толстых деревьев в толстом лесе из 33 узлов?