Пусть P - трехместный предикатный символ; f , g - Ответ на вопрос по любому предмету №1281398
-42%
Вопрос
Пусть 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
Ответ
Этот вопрос в коллекциях
-20%
Коллекция: Структуры данных и модели вычислений
490 390 руб.
5,0
Рейтинг автора: 5 из 5
meimei1337 
🎓 Поможем сдать всё — тесты, практику, экзамены, курсовые, дипломы, отчёты! Закроем долги под ключ 🔑 Ведём от первой сессии до диплома 🏆 Работаем с Синергией, МЭИ и другими вузами 🤝 Гарантия результата или возврат денег 💰 Пиши! 🚀
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
