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

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

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




  1. разрешимое множество—в логике множество расположенное в некоторой совокупности конструктивных объектов См. Конструктивные объекты т. е. множество составленное из какихто объектов этой совокуп...Большая Советская энциклопедия II
  2. разрешимое множество—множество конструктивных объектовi какоголибо фиксированного типа допускающее проверку принадлежности к нему его элементов при помощи алгоритма.i Фактически мы можем огра...Математическая энциклопедия
  3. разрешимое множество—развязальнае мноства...Русско-белорусский математический словарь