- перечислимость
- f. denumerability
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
перечислимость
Смотреть что такое "перечислимость" в других словарях:
ПРОКЛ ПО ПРОЗВИЩУ ДИАДОХ — (‘преемник’) (412 485) древнегреческий философ платоник. Родился в Константинополе. Учился в Александрии, а затем в Афинах у Плутарха Афинского и Сириана, которого сменил в качестве главы платоновской Академии в 437. Умер в Афинах. Более полное… … История Философии: Энциклопедия
СКОЛЕМ — (Skolem), Торальф Альберт (р. 23 мая 1887) – норв. логик, математик, философ; кандидат философии (1913), д р философии (1926), доцент ун та в Осло (1918–30), научный сотрудник Ин та науки и свободомыслия (ин т Кристиана Микельсена, 1930–38), проф … Философская энциклопедия
АССОЦИАТИВНОЕ ИСЧИСЛЕНИЕ — название, установившееся за исчислениями нек рого точно охарактеризованного типа, хорошо приспособленными для задания конечно определенных ассоциативных систем ( полугрупп). Термин А. и. введен А. А. Марковым. Им же было осуществлено построение… … Математическая энциклопедия
Прокл Диадох — Πρόκλος ὁ Διάδοχος Дата рождения: 8 февраля 412(0412 02 08) Место рождения: Византий Дата смерти: 17 апреля … Википедия
Существование перечислимого неразрешимого множества — В данной статье будет доказан теорема о существовании перечислимого, но неразрешимого множества. Напомню, что по теореме Поста перечислимое множества разрешимо тогда и только тогда, когда его дополнение перечислимо.Основные определения, такие как … Википедия
ПРОКЛ по прозвищу Диадох (преемник) (412- 485) — древнегреческий философ платоник. Родился в Константинополе. Учился в Александрии, а затем в Афинах у Плутарха Афинского и Сириана, которого сменил в качестве главы платоновской Академии в 437. Умер в Афинах. Более полное представление о его… … История Философии: Энциклопедия
