Книга: В. Успенский «Лекции о вычислимых функциях»

Другие книги автора:

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

• ТРАНСЛЯЦИЯ ПРОГРАММ — 1) Т. п. в программировании, компиляция программ, систематический процесс, который любую программу ip на входном алгоритмическом языкеLI преобразует в некоторую программу ор на объектном языке LO, при итом так, что обе программы, ip и ор,… …   Математическая энциклопедия

• КОНСТРУКТИВНЫЙ АНАЛИЗ — рекурсивный анализ, вычислимый анализ, название, объединяющее различные течения в основаниях математики и математич. анализе. При развитии К. а., как правило, преследуются обе или вторая из следующих двух принципиальных целей: (1) нетрадиционное… …   Математическая энциклопедия

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

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

• ПРИМИТИВНАЯ РЕКУРСИЯ — способ определения функций от натуральных аргументов с натуральными значениями. Говорят, что (n+1) местная функция f(x1, ... , х п, у). получена примитивной рекурсией из n местной функции g( х 1, ... , х п).и ( п+2).местной функции h( х 1, ... ,… …   Математическая энциклопедия

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