Главная /
Логическое программирование /
Формула находится в сколемовской нормальной форме, если:
Формула находится в сколемовской нормальной форме, если:
вопросПравильный ответ:
она представлена в виде
Q1x1,...,QnxnA
, где Qi
— это квантор существования или всеобщности, а формула A
не содержит кванторов
она находится в предваренной нормальной форме и не содержит кванторов существования
это конъюнкция конечного числа дизъюнктов
Сложность вопроса
21
Сложность курса: Логическое программирование
29
Оценить вопрос
Комментарии:
Аноним
Я сотрудник университета! Оперативно заблокируйте этот ваш сайт с ответами intuit. Не ломайте образование
07 май 2018
Аноним
Зачёт сдан. Иду кутить отмечать сессию интуит
14 май 2016
Другие ответы на вопросы из темы программирование интуит.
- # Укажите особенность динамического контроля типов данных в программе:
- # Укажите синтаксис Mercury для объявления функционального типа:
- # Как называется кортеж, включающий в себя выделенный начальный символ ?
- # Cемейство языков представления знаний, позволяющих описывать понятия предметной области в формализованном виде:
- # С точки зрения быстродействия случайного доступа к элементу: