алгоритмически
51КОНСТРУКТИВНОЕ МЕТРИЧЕСКОЕ ПРОСТРАНСТВО — концепция метрич. пространства, используемая в конструктивной математике. Близкий смысл имеет также понятие рекурсивного метрического пространства. Список где некоторое множество конструктивных объектов (обычно слов в том или ином алфавите), р… …
52КРЕАТИВНОЕ МНОЖЕСТВО — творческое множество, рекурсивно перечислимое множество Анатуральных чисел, дополнение к рого Адо натурального ряда является продуктивным множеством;иными словами, множество Акреативно, если оно рекурсивно перечислимо и существует такая частично… …
53ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …
54МОДАЛЬНАЯ ЛОГИКА — область логики, в к рой наряду с обычными высказываниями рассматриваются модальные высказывания, т. е. высказывания типа необходимо, что.,. , возможно, что... и т. п. В математич. логике рассматриваются различные формальные системы М. л.,… …
55НЕРАЗРЕШИМОСТЬ — невозможность решения данной задачи точно очерченными средствами. Ниже рассмотрены важнейшие примеры Н. в математике. Алгоритмическая неразрешимость. В различных областях математики возникают проблемы, в к рых требуется найти единую механич.… …
56РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… …
57РЕКУРСИЯ — способ определения функций, являющийся объектом изучения в теории алгоритмов и других разделах математич. логики. Этот способ давно применяется в арифметике для определения числовых последовательностей (прогрессии, чисел Фибоначчи и пр.).… …
58СИНТЕЗА ЗАДАЧИ — совокупность задач, концентрирующихся вокруг проблемы построения управляющей системы (у. с.), имеющей предписанное функционирование. У. с. строится из элементов, к рые обычно сами являются простыми у. с. При синтезе заранее заданы состав… …
59ФАКТОРНЫЙ АНАЛИЗ — раздел многомерного статистич. анализа, объединяющий математико статистич. методы снижения размерности исследуемого многомерного признака x= (x1, х 2, . . ., x р) , т. е. построения, на основе исследования структуры связей между компонентами xixj …
60ФИНИТНО АППРОКСИМИРУЕМАЯ ПОЛУГРУППА — резидуально конечная полугруппа, полугруппа, для любых двух различных элементов аи bк рой существует такой ее гомоморфизм j в конечную полугруппу S, что Свойство полугруппы Sбыть Ф. а. п. эквивалентно тому, что . подпрямое произведение конечных… …
