Главная /
Языки и исчисления /
Двойственна к выполнимости:
Двойственна к выполнимости:
вопросПравильный ответ:
общезначимость
значимость
обратимость
Сложность вопроса
95
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
спасибо за пятёрку
14 авг 2018
Аноним
Зачёт всё. Мчусь отмечать отмечать 4 за тест интуит
22 окт 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
-
#
Верно утверждение для любой булевой функции
![math]()
от ![math]()
аргументов:
- # Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:
-
#
Утверждение
![math]()
нельзя записать в виде:
- # В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:
-
#
Если S не пусто,
![math]()
, то для того, чтобы F был фильтром нужно:
от 
аргументов: 
нельзя записать в виде: 
, то для того, чтобы F был фильтром нужно: