Большая Советская энциклопедия II

РАЗРЕШИМОЕ МНОЖЕСТВО

в логике, множество, расположенное в некоторой совокупности конструктивных объектов (См. Конструктивные объекты) (т. е. множество, составленное из каких-то объектов этой совокупности), для которого существует Алгоритм, разрешающий это множество (относительно объемлющей совокупности) в следующем смысле: алгоритм применим к любому объекту объемлющей совокупности и даёт в качестве результата ответ на вопрос, принадлежит ли этот объект к рассматриваемому множеству или нет.

  1. разрешимое множествоРАЗРЕШИМОЕ МНОЖЕСТВО в логике множество расположенное в некрой совокупности конструктивных объектов iт. е. множество составленное из какихто объектов этой совокупности дл...Большая советская энциклопедия
  2. разрешимое множествомножество конструктивных объектовi какоголибо фиксированного типа допускающее проверку принадлежности к нему его элементов при помощи алгоритма.i Фактически мы можем огра...Математическая энциклопедия
  3. разрешимое множестворазвязальнае мноства...Русско-белорусский математический словарь