📚
Все вопросы
- … добавляется к именам переменных для того, чтобы различать их на различных уровнях рекурсии #171
- Свойство объекта или отношение между объектами, для которого известно, что они истинны, – это … #172
- Использование предиката … может помочь обнаружить ошибки в программе #173
- Целевое утверждение var(X)согласуется с базой данных в случае если на текущий момент X является … переменной #174
- Класс формул исчисления предикатов, к которому относятся формулы, истинные в одних интерпретациях и ложные в других, – это … #175
- Выражение, на который навешивается квантор, называется областью … квантора #176
- Множество с заданными на нем операциями и отношениями называется … #177
- Открытая формула называется тавтологией, если она … #178
- … отношения называют признаками или свойствами #179
- Неверно, что исчисление предикатов является … функцией #180