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

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

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

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

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

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

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

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

Если алгоритм поиска A является допустимым, он называется:

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

Парадигма программирования, основанная на автоматическом доказательстве теорем, называется: