рекурсивная теория
Смотреть что такое "рекурсивная теория" в других словарях:
РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… … Математическая энциклопедия
Рекурсивная функция (теория вычислимости) — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций примитивно рекурсивные функции; общерекурсивные функции; … Википедия
Рекурсивная функция — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Рекурсивная функция (от лат. recursio возвращение) это числовая функция числового аргумента, которая в своей записи содержит себя же. Такая запись позволяет… … Википедия
РЕКУРСИВНАЯ ФУНКЦИЯ — ч а с т и ч н о р е к у р с и в н а я ф у н к ц и я, одно из математич. уточнений интуитивного понятия вычислимой функции, определяемое следующим образом. Рассматриваются функции, заданные на натуральных числах и с натуральными значениями.… … Математическая энциклопедия
АЛГОРИТМИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — см. Рекурсивная теория множеств … Математическая энциклопедия
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
АЛГОРИТМИЧЕСКАЯ ТЕОРИЯ ИНФОРМАЦИИ — раздел математич. логики, уточняющий и изучающий на базе понятий алгоритма и вычислимой функции основные понятия теории информации. А. т. и. стремится обосновать эти понятия без помощи обращения к теории вероятностей и так, чтобы понятия энтропии … Математическая энциклопедия
ПРИМИТИВНО РЕКУРСИВНАЯ ФУНКЦИЯ — функция от натуральных аргументов с натуральными значениями, к рую можно получить из простейших функций конечным числом операций суперпозиции и примитивной рекурсии. Поскольку исходные функции являются вычислимыми, а операторы суперпозиции и… … Математическая энциклопедия
ПРОСТОЕ МНОЖЕСТВО — рекурсивно перечислимое множество натуральных чисел, дополнение к рого есть иммунное множество. П. м. являются промежуточными в смысле так наз. m сводимости (см. Рекурсивная теория множеств).между разрешимыми множествами и творческими… … Математическая энциклопедия
НОРМАЛЬНАЯ ФОРМА — 1) Н. ф. матрицы A матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от рассматриваемого типа преобразований, от области K, к к рой принадлежат коэффициенты А , от вида Аи … Математическая энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
