Вопросы по дисциплине:
Дискретная математика
Сбросить фильтр
№ | Вопрос | Действия |
---|---|---|
391 | В каком случае класс булевых функций называется собственным? | Открыть |
392 | Как называются символы функций и предикатов? | Открыть |
393 | Как называется предикат, у которого множество истинностей является пересечением множеств истинности исходных предикатов? | Открыть |
394 | Как называется возникающее исчисление предикатов, если в сигнатуре отсутствуют функциональные символы? | Открыть |
395 | Как называется прием, в результате которого из некоторых данных формул получают их частные случаи? | Открыть |
396 | Как называют любую элементарную формулу или ее отрицание? | Открыть |
397 | Какая операция называется сколемизацией? | Открыть |
398 | Какая из перечисленных операций является одноместной? | Открыть |
399 | Какая из перечисленных бинарных логических операций называется конъюнкцией? | Открыть |
400 | Какая из перечисленных функций называется предикатом? | Открыть |