Если для любого произвольно взятого элемента можно определить, принадлежит он некоторому множеству или нет, то такое множество называется:

Правильный ответ:

• # К формулам конъюнктивного типа относятся
• # К формулам конъюнктивного типа не относится
• # Конечный автомат называется логическим, если
• # Машина Тьюринга, описывающая конечный автомат,
• # Правила построения новых объектов в формальной системе называются