Перечисления Теория

отображение множества всех множеств натуральных чисел в себя (т. Е. Отображение 2N в 2N , где N - множество натуральных чисел), определяемое следующим образом. Пусть Wz - рекурсивно перечислимое множество с гёделевым номером z, Du - конечное множество натуральных чисел с канонич. Индексом и(то есть Du= {x1 х 2, . ., х п}, где x1<x2<...<х n и 2x1+2x2...+2xn=u), <x, u>. - номер упорядоченной пары, состоящей из чисел хи и, при нек-ром фиксированном взаимно однозначном рекурсивном ..

- алгоритмическая проблема, в к-рой для заданного множества Атребуется построить алгоритм, перечисляющий А, т. Е. Такой алгоритм , к-рый применим ко всякому натуральному числу и перерабатывает его в элемент из А, причем любой элемент из Аполучается в результате применения к нек-рому натуральному числу. Иными словами, . П. П. Для множества Аразрешима тогда и только тогда, когда А - непустое перечислимое множество. В. Е Плиско . ..

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

- 1) П. Плоской области, ограниченной спрямляемой кривой,- полная длина границы области. 2) П. Измеримого множества Ав п- мерном евклидовом (или римановом) пространстве - нижний предел ( п-1)-мерной площади границы многогранников Р i (или множеств Pi с С 1 -гладкой границей), сходящихся к Апо объему, т. Е. Так, что при Лит.:[1] Caccoppoli R., "Rand. Accad. Naz. Lincei. Ser. 8", 1952, № 1, p. 3-11, № 2, p. 137-46. [2] GorgiE. De, там же, Ser. 1, 1958, 5, № 2, p. 33-34. В. А. Залгаллер...