рекурсивная формула

См. также в других словарях:

• Формула Дея — рекурсивная формула для выражения числа подгрупп данного индекса данной группы через число гомоморфизмов из в симметрическую группу …   Википедия

• РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ — уточнение интуиционистской семантики арифметич. суждений на основе понятия частично рекурсивной функции, предложенное С. Клини (см. [1], [2]). Для всякой замкнутой арифметич. формулы Fопределяется отношение натуральное число ереализует формулу F …   Математическая энциклопедия

• Рекурсивная функция — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Рекурсивная функция (от лат. recursio возвращение) это числовая функция числового аргумента, которая в своей записи содержит себя же. Такая запись позволяет… …   Википедия

• Рекуррентная формула — формула вида , выражающая каждый член последовательности через p предыдущих членов. Общая проблематика вычислений с использованием рекуррентных формул является предметом теории рекурсивных функций. Содержание 1 Примеры …   Википедия

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

• АЛЕФЫ — первая буква древнееврейского алфавита, символы, введенные Г. Кантором (G. Cantor) для обозначения кардинальных чисел (мощностей) бесконечных вполне упорядоченных множеств. Каждое кардинальное число есть нек рый А. (следствие выбора аксиомы). Но… …   Математическая энциклопедия

• Индекс подгруппы — У этого термина существуют и другие значения, см. Индекс. Индекс подгруппы в группе ― число классов смежности в каждом (правом или левом) из разложений группы по этой подгруппе (в бесконечном случае ― мощность множества этих классов). Индекс… …   Википедия

• Ряды подгрупп — В математике ряд подгрупп  это цепь подгрупп вида . Ряды подгрупп могут упростить изучение группы сводя его к изучению подгрупп этой группы и к изучению взаимосвязей между ними. Ряды подгрупп могут формировать важные инварианты заданной… …   Википедия

• ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… …   Математическая энциклопедия

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

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