Есть-ли тут люди вообще, кто понимает что такое скулемизация? http://en.wikipedia.org/wiki/Skolem_normal_form
Готовлюсь к экзамену и немогу понять как можно решить вот такой пример
| Цитата |
Скулемизируйте   |
| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Центр помощи > [мат. логика] Скулемизация |
| Автор: Ak47black 16.6.2010, 14:13 | ||
| Здравствуйте. Есть-ли тут люди вообще, кто понимает что такое скулемизация? http://en.wikipedia.org/wiki/Skolem_normal_form Готовлюсь к экзамену и немогу понять как можно решить вот такой пример
|