РАЗРЕШИМОЕ МНОЖЕСТВО
в логике, множество,
расположенное в нек-рой совокупности конструктивных объектов (т.
е. множество, составленное из каких-то объектов этой совокупности), для
к-рого существует алгоритм, разрешающий это множество (относительно
объемлющей совокупности) в следующем смысле: алгоритм применим к любому
объекту объемлющей совокупности и даёт в качестве результата ответ на вопрос,
принадлежит ли этот объект к рассматриваемому множеству или нет.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я