📚 Все вопросы
Вопросы по дисциплине: Учет и анализ Сбросить фильтр
Вопрос Действия
801 Класс формул исчисления предикатов, к которому относятся формулы, истинные в одних интерпретациях и ложные в других, – это … Открыть
802 Выражение, на который навешивается квантор, называется областью … квантора Открыть
803 Множество с заданными на нем операциями и отношениями называется … Открыть
804 Открытая формула называется тавтологией, если она … Открыть
805 … отношения называют признаками или свойствами Открыть
806 Неверно, что исчисление предикатов является … функцией Открыть
807 Предикат для ввода и вывода является … предикатом Открыть
808 Высказыванием называется выражение, не имеющее … переменных Открыть
809 Имя свойства или отношения между объектами с последовательностью аргументов – это … Открыть
810 Целевое утверждение, которое согласуется с базой данных, если текущее значение X является атомом в смысле языка Prolog, – … Открыть