Душский, И. Е. — инжен. технолог 1900 гг. {Венгеров} … Большая биографическая энциклопедия
Душский, Михаил Ильич — род. в 1913 в Киеве, погиб на фронте в 1942. Композитор. В 1932 окончил Муз. пед. училище им. Гнесиных, в 1936 Моск. конс. по кл. композиции Г. И. Литинского, в 1941 аспирантуру. В 1936 1941 записывал, изучал и обрабатывал муз. фольклор Морд.… … Большая биографическая энциклопедия
ИММУННОЕ МНОЖЕСТВО — бесконечное множество натуральных чисел, не содержащее бесконечных рекурсивно перечислимых подмножеств. В частности, само И. м. не является рекурсивно перечислимым. И. м. по своей насыщенности рекурсивно перечислимыми подмножествами в известном… … Математическая энциклопедия
КЛАСС — 1) Термин, употребляемый в математике в основном как синоним термина множество для обозначения произвольных совокупностей объектов, обладающих каким либо определенным свойством или признаком (напр., в алгебре классы эквивалентности относительно… … Математическая энциклопедия
КЛАССОВ ИСЧИСЛЕНИЕ — традиционное, восходящее к Дж. Булю (G. Boole) название раздела математич. логики, изучающего логику классов. К. и. фактически представляет собой логику высказываний, в к рой дополнительно рассматривается субъектно предикатная структура… … Математическая энциклопедия
КРЕАТИВНОЕ МНОЖЕСТВО — творческое множество, рекурсивно перечислимое множество Анатуральных чисел, дополнение к рого Адо натурального ряда является продуктивным множеством;иными словами, множество Акреативно, если оно рекурсивно перечислимо и существует такая частично… … Математическая энциклопедия
НЕРАЗРЕШИМОСТИ СТЕПЕНЬ — класс эквивалентности , индуцированной отношением тьюринговой сводимости на подмножествах натурального ряда ( , если ). Иначе говоря, два множества принадлежат одной Н. с, если для каждого из них существует эффективная разрешающая процедура при… … Математическая энциклопедия
ПРИОРИТЕТА МЕТОД — метод, применяемый в рекурсивной теории множеств для построения просто устроенных с рекурсивной точки зрения (в простейших случаях рекурсивно перечислимых) множеств (функций, нумераций и т. п.), удовлетворяющих бесконечной системе условий… … Математическая энциклопедия
ПРОДУКТИВНОЕ МНОЖЕСТВО — множество натуральных чисел А , для к рого существует такая частично рекурсивная функция j, что для всякого рекурсивно перечислимого множества Wx с геделевым номером х, содержащегося в А. Известно, что для всякого П. м. Асуществует такая… … Математическая энциклопедия
РЕКУРСИВНОЙ ЭКВИВАЛЕНТНОСТИ ТИП — класс эквивалентности для отношения рекурсивной эквивалентности, т. е. совокупность всех подмножеств натурального ряда, каждые два из к рых могут быть приведены во взаимно однозначное соответствие с помощью частично рекурсивной функции. Таким… … Математическая энциклопедия