РАЗРЕШИМОЕ МНОЖЕСТВО в логике, множество, расположенное в нек-рой совокупности конструктивных объектов (т. е. множество, составленное из каких-то объектов этой совокупности), для к-рого существует алгоритм, разрешающий это множество (относительно объемлющей совокупности) в следующем смысле: алгоритм применим к любому объекту объемлющей совокупности и даёт в качестве результата ответ на вопрос, принадлежит ли этот объект к рассматриваемому множеству или нет.
Смотреть больше слов в «Большой советской энциклопедии»
в логике, множество, расположенное в некоторой совокупности конструктивных объектов (См. Конструктивные объекты) (т. е. множество, составленное... смотреть
множество конструктивных объектов какого-либо фиксированного типа, допускающее проверку принадлежности к нему его элементов при помощи алгоритма... смотреть
развязальнае мноства