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