Цейтин, Калман Файвович — Заведующий отделом Комиссии по чрезвычайным и аварийным ситуациям Администрации Московской области с 1995 г., доцент Центрального межведомственного института повышения квалификации руководящих работников и специалистов строительства с 1994 г.;… … Большая биографическая энциклопедия
Горно-подготовительные работы — (a. development operations; н. Vorrichtung, Vorrichtungsarbeiten; ф. travaux preparatoires; и. trabajos de desarrollo, trabajos preparatorios) комплекс горно строит. работ по своевременному воспроизводству фронта очистной выемки… … Геологическая энциклопедия
Голень — I Голень (crus) сегмент нижней конечности, ограниченный коленным и голеностопным суставами. Различают переднюю и заднюю области голени, граница между которыми проходит изнутри по внутреннему краю большеберцовой кости, а снаружи по линии, идущей… … Медицинская энциклопедия
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Философская энциклопедия
КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ — в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… … Философская энциклопедия
АЛГОРИТМИЧЕСКАЯ ПРОБЛЕМА — проблема, в к рой требуется найти единый метод ( алгоритм).для решения бесконечной серии однотипных единичных задач. Такие проблемы иногда наз. также массовыми проблемами. А. п. возникали и решались в различных областях математики на протяжении… … Математическая энциклопедия
АССОЦИАТИВНОЕ ИСЧИСЛЕНИЕ — название, установившееся за исчислениями нек рого точно охарактеризованного типа, хорошо приспособленными для задания конечно определенных ассоциативных систем ( полугрупп). Термин А. и. введен А. А. Марковым. Им же было осуществлено построение… … Математическая энциклопедия
КОНСТРУКТИВНОЕ МЕТРИЧЕСКОЕ ПРОСТРАНСТВО — концепция метрич. пространства, используемая в конструктивной математике. Близкий смысл имеет также понятие рекурсивного метрического пространства. Список где некоторое множество конструктивных объектов (обычно слов в том или ином алфавите), р… … Математическая энциклопедия
КОНСТРУКТИВНЫЙ АНАЛИЗ — рекурсивный анализ, вычислимый анализ, название, объединяющее различные течения в основаниях математики и математич. анализе. При развитии К. а., как правило, преследуются обе или вторая из следующих двух принципиальных целей: (1) нетрадиционное… … Математическая энциклопедия
ЕС ЭВМ — У этого термина существуют и другие значения, см. ЕС (значения). ЕС ЭВМ (Единая система электронных вычислительных машин, произносится «еэс эвээм») советская серия компьютеров. Аналогия серий System/360 и System/370 фирмы IBM, выпускавшихся … Википедия