- рекурсивная перечислимость
- мат. recursive enumerability
Большой англо-русский и русско-английский словарь. 2001.
рекурсивная перечислимость
Смотреть что такое "рекурсивная перечислимость" в других словарях:
СКОЛЕМ — (Skolem), Торальф Альберт (р. 23 мая 1887) – норв. логик, математик, философ; кандидат философии (1913), д р философии (1926), доцент ун та в Осло (1918–30), научный сотрудник Ин та науки и свободомыслия (ин т Кристиана Микельсена, 1930–38), проф … Философская энциклопедия
АССОЦИАТИВНОЕ ИСЧИСЛЕНИЕ — название, установившееся за исчислениями нек рого точно охарактеризованного типа, хорошо приспособленными для задания конечно определенных ассоциативных систем ( полугрупп). Термин А. и. введен А. А. Марковым. Им же было осуществлено построение… … Математическая энциклопедия
