примитивная рекурсивность

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

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

Словари и энциклопедии на Академике