алгоритмически

  • 41АЛГОРИТМ — (алгорифм), единообразная математическая процедура ( рецепт ) для решения однотипных задач, выполняемая по строго определенным правилам. Применение алгоритма позволяет получить ответ типа да или нет на любой вопрос в классе задач, для решения… …

    Энциклопедия Кольера

  • 42ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …

    Философская энциклопедия

  • 43ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… …

    Философская энциклопедия

  • 44ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… …

    Философская энциклопедия

  • 45МАССОВАЯ ПРОБЛЕМА — бесконечный класс (научных) проблем (задач), охарактеризованный (или могущий быть охарактеризованным) при помощи нек рого единого эффективно распознаваемого условия. На фигурирующее в этом пояснении понятие проблемы следует смотреть как на… …

    Философская энциклопедия

  • 46АВТОМАТОВ ПОЛНЫЕ СИСТЕМЫ — специальные подмножества заданного класса Мавтоматов, на к ром определено нек рое множество операций со значениями в М. Эти подмножества обладают следующим основным свойством (свойством полноты): множество всех автоматов, к рые получаются путем… …

    Математическая энциклопедия

  • 47АЛГОРИТМИЧЕСКАЯ ПРОБЛЕМА — проблема, в к рой требуется найти единый метод ( алгоритм).для решения бесконечной серии однотипных единичных задач. Такие проблемы иногда наз. также массовыми проблемами. А. п. возникали и решались в различных областях математики на протяжении… …

    Математическая энциклопедия

  • 48ВЫВОДА ПРАВИЛО — способ порождения объектов, называемых заключением В. п., по множеству объектов, называемых посылками правила; формулирование В. п. играет решающую роль при описании исчислений (часто данное В. п. имеет смысл лишь в контексте данного исчисления) …

    Математическая энциклопедия

  • 49ДИОФАНТОВЫХ УРАВНЕНИИ ПРОБЛЕМА РАЗРЕШИМОСТИ — проблема отыскания алгоритма для распознавания по любому диофантову уравнению, имеет ли оно решение. Существенным в постановке проблемы является требование найти универсальный метод, к рый должен быть пригоден для любого уравнения (все известные… …

    Математическая энциклопедия

  • 50КОНСТРУКТИВНОГО ПОДБОРА ПРИНЦИП — принцип Маркова, логико философский принцип конструктивной математики, выдвинутый А. А. Марковым [1], [2] и в общей форме утверждающий, что если конструктивный процесс, заданный нек рым предписанием, не является неограниченно продолжаемым, то он… …

    Математическая энциклопедия

  • 51КОНСТРУКТИВНОЕ МЕТРИЧЕСКОЕ ПРОСТРАНСТВО — концепция метрич. пространства, используемая в конструктивной математике. Близкий смысл имеет также понятие рекурсивного метрического пространства. Список где некоторое множество конструктивных объектов (обычно слов в том или ином алфавите), р… …

    Математическая энциклопедия

  • 52КРЕАТИВНОЕ МНОЖЕСТВО — творческое множество, рекурсивно перечислимое множество Анатуральных чисел, дополнение к рого Адо натурального ряда является продуктивным множеством;иными словами, множество Акреативно, если оно рекурсивно перечислимо и существует такая частично… …

    Математическая энциклопедия

  • 53ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …

    Математическая энциклопедия

  • 54МОДАЛЬНАЯ ЛОГИКА — область логики, в к рой наряду с обычными высказываниями рассматриваются модальные высказывания, т. е. высказывания типа необходимо, что.,. , возможно, что... и т. п. В математич. логике рассматриваются различные формальные системы М. л.,… …

    Математическая энциклопедия

  • 55НЕРАЗРЕШИМОСТЬ — невозможность решения данной задачи точно очерченными средствами. Ниже рассмотрены важнейшие примеры Н. в математике. Алгоритмическая неразрешимость. В различных областях математики возникают проблемы, в к рых требуется найти единую механич.… …

    Математическая энциклопедия

  • 56РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… …

    Математическая энциклопедия

  • 57РЕКУРСИЯ — способ определения функций, являющийся объектом изучения в теории алгоритмов и других разделах математич. логики. Этот способ давно применяется в арифметике для определения числовых последовательностей (прогрессии, чисел Фибоначчи и пр.).… …

    Математическая энциклопедия

  • 58СИНТЕЗА ЗАДАЧИ — совокупность задач, концентрирующихся вокруг проблемы построения управляющей системы (у. с.), имеющей предписанное функционирование. У. с. строится из элементов, к рые обычно сами являются простыми у. с. При синтезе заранее заданы состав… …

    Математическая энциклопедия

  • 59ФАКТОРНЫЙ АНАЛИЗ — раздел многомерного статистич. анализа, объединяющий математико статистич. методы снижения размерности исследуемого многомерного признака x= (x1, х 2, . . ., x р) , т. е. построения, на основе исследования структуры связей между компонентами xixj …

    Математическая энциклопедия

  • 60ФИНИТНО АППРОКСИМИРУЕМАЯ ПОЛУГРУППА — резидуально конечная полугруппа, полугруппа, для любых двух различных элементов аи bк рой существует такой ее гомоморфизм j в конечную полугруппу S, что Свойство полугруппы Sбыть Ф. а. п. эквивалентно тому, что . подпрямое произведение конечных… …

    Математическая энциклопедия