Прямой пересчет

- пересчет элементов нек-рого множества натуральных чисел в порядке их возрастания. Точнее,.П. п. множества Анатуральных чисел есть строго возрастающая функция натурального аргумента, область значений к-рой совпадает с А. В теории алгоритмов рекурсивность и скорость возрастания П. п. множества являются его важными характеристиками. Напр., общерекурсивность (примитивная рекурсивность) П. п. бесконечного множества эквивалентна разрешимости (примитивно рекурсивной разрешимости) этого множества. Множества натуральных чисел, П. п. к-рых но мажорируются никакой общерекурсивной функцией, наз. гипериммунными, они играют существенную роль в теории табличной сводимости.