РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ

РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ

часто применяемый в математике способ задания функций, при к-ром значение искомой функции в данной точке определяется через ее значения в предшествующих точках (при подходящем отношении предшествования). Р. о. теоретико-числовых функций являются объектами изучения в теории алгоритмов (см. Рекурсия). В теории множеств постоянно используется для определения функций на ординалах трансфинитная рекурсия. В более общем плане Р. о. рассматриваются в теории допустимых множеств, в основе к-рой лежит некий синтез идей теории множеств и теории алгоритмов (см. [2]).

Лит.:[1] Р о д ж е р с X., Теория рекурсивных функций и эффективная вычислимость, пер. с англ., М., 1972; [2] В а r w i s e J., Admisible sets and structures, В., 1975.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужен реферат?

Смотреть что такое "РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ" в других словарях:

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

  • рекурсивное определение (справочного имени) — Справочное имя, для которого вычисление этого справочного имени или руководителя для определения справочного имени требует вычисления исходного справочного имени. (МСЭ Т Х.692). [http://www.iks media.ru/glossary/index.html?glossid=2400324]… …   Справочник технического переводчика

  • рекурсивное определение — (от лат. recurso возвращаюсь) метод определения арифметической функции ?(у) или предиката Р(у) через область значений этой функции или предиката. Примером Р. о. может быть определение функции сложения: а + 0 = а, (1) а + b =(а+b) (2) В равенстве… …   Словарь терминов логики

  • ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность …   Философская энциклопедия

  • ОПРЕДЕЛЕНИЕ, — ОПРЕДЕЛЕНИЕ, дефиниция (от лат. «definitio» – «предел», «граница») – логическая процедура придания строго фиксированного смысла терминам языка. Т.к. значения терминов зависят от их смыслов, то всякий раз, придавая через определение какой либо… …   Философская энциклопедия

  • Определение (логика) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия

  • определение — 2.7 определение: Процесс выполнения серии операций, регламентированных в документе на метод испытаний, в результате выполнения которых получают единичное значение. Источник …   Словарь-справочник терминов нормативно-технической документации

  • определение категорий продукции — 2.13 определение категорий продукции (product categorization): Рекурсивное деление категорий продукции на подкатегории. Примечание 1 Подкатегории, образованные в результате этого деления, называют классами категорий продукции или категориями… …   Словарь-справочник терминов нормативно-технической документации

  • Многочлен Эрмита — Многочлены Эрмита определенного вида последовательность многочленов одной вещественной переменной. Многочлены Эрмита возникают в теории вероятностей, в комбинаторике, физике. Эти многочлены названы в честь Шарля Эрмита. Содержание 1 Определение 2 …   Википедия

  • Полином Эрмита — Многочлены Эрмита определенного вида последовательность многочленов одной вещественной переменной. Многочлены Эрмита возникают в теории вероятностей, в комбинаторике, физике. Эти многочлены названы в честь Шарля Эрмита. Содержание 1 Определение 2 …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»