Дизъюнкция литералов с не более чем одним положительным литералом, называется:

Дизъюнкция в Description logics обозначается:

Алгоритм эвристического поиска с функцией h₁(x) называется более информированным по сравнению с алгоритмом с функцией h₂(x), если:

Какой контроль типов данных в программе требует более жесткой системы типизации?

Дизъюнктом Хорна называется:

Исчисление называется полным, если:

Исчисление называется достоверным, если:

Грамматика называется регулярной, если:

Грамматика называется контекстно-зависимой, если:

Исчисление называется формально непротиворечивым, если:

Грамматика называется контекстно-свободной, если