Главная /
Языки и исчисления /
Верна формула:
Верна формула:
вопросПравильный ответ:
Сложность вопроса
79
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Если бы не эти подсказки - я бы не осилил c этими тестами intuit.
06 авг 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Замкнутым термам соответствуют:
- # Для замкнутой А можно указать этой же сигнатуры с добавленными функциональными символами, которая:
- # Если S не пусто, , то для того, чтобы F был фильтром нужно:
- # Если Г - множество формул, то тогда:
- # Контрпример к секвенции - это набор значений переменных, для которых все формулы: