Математическая энциклопедия - рекурсивное определение
Связанные словари
Рекурсивное определение
часто применяемый в математике способ задания функций, при к-ром значение искомой функции в данной точке определяется через ее значения в предшествующих точках (при подходящем отношении предшествования). Р. о. теоретико-числовых функций являются объектами изучения в теории алгоритмов (см. Рекурсия). В теории множеств постоянно используется для определения функций на ординалах трансфинитная рекурсия. В более общем плане Р. о. рассматриваются в теории допустимых множеств, в основе к-рой лежит некий синтез идей теории множеств и теории алгоритмов (см. [2]).
Лит.:[1] Р о д ж е р с X., Теория рекурсивных функций и эффективная вычислимость, пер. с англ., М., 1972; [2] В а r w i s e J., Admisible sets and structures, В., 1975.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 557 | |
2 | 483 | |
3 | 480 | |
4 | 472 | |
5 | 454 | |
6 | 440 | |
7 | 437 | |
8 | 433 | |
9 | 424 | |
10 | 423 | |
11 | 422 | |
12 | 413 | |
13 | 406 | |
14 | 375 | |
15 | 375 | |
16 | 372 | |
17 | 365 | |
18 | 364 | |
19 | 364 | |
20 | 362 |