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