Примитивная Рекурсия

81

способ определения функций от натуральных аргументов с натуральными значениями. Говорят, что (n+1)-местная функция f(x1, . , х п, у). Получена примитивной рекурсией из n-местной функции g( х 1, . , х п).и ( п+2).местной функции h( х 1, . , х n у, z), если для всех натуральных значений x1 . , х п, у имеет место и Для данных gи hтакая функция f всегде существует и единственна. При n=0 определяющие равенства для f записываются в виде Фундаментальным свойством П. Р. Является то, что при любом разумном уточнении понятия вычислимости функция f, полученная из вычислимых функций gи h с помощью П. Р., сама вычислимая. П. Р.- одно из основных правил порождения из исходного набора простейших функций всех примитивно рекурсивных и всех частично рекурсивных функций.

Лит.:[1] Успенский В. А., Лекции о вычислимых функциях, М., 1960. [2] Мальцев А. И., Алгоритмы и рекурсивные функции, М., 1965. [3] Роджерс X., Теория рекурсивных функций и эффективная вычислимость, пер. С англ., М., 1972. С. Н. Артемов.

Значения в других словарях
Примарный Идеал

коммутативного кольца R - такой идеал , что если и , то либо , либо для нек-рого натурального числа п. В кольце целых чисел П. И.- идеал вида , где р - простое, п - натуральное число. Важную роль в коммутативной алгебре играет представление любого идеала коммутативного нётерова кольца в виде пересечения конечного числа П. И.- примарное разложение. Более общо, пусть Ass(M).обозначает множество первичных идеалов кольца R, являющихся ан-нуляторами ненулевых подмодулей модуля М. Подмоду..

Примитивная Группа Подстановок

группа подстановок (G. M), сохраняющая лишь тривиальные отношения эквивалентности на множестве М(т. Е. Равенство и аморфную эквивалентность). Изучаются главным образом конечные П. Г. П. П. Г. П. Транзитивна и всякая 2-транзитивная группа примитивна (см. Транзитивная группа). В точности 1-транзитивные (т. Е. Не являющиеся уже 2-транзитивными) группы подстановок наз. Унипримитивными. Коммутативными П. Г. П. Являются циклич. Группы простого порядка и только они. Транзитивная группа подстановок п..

Примитивно Рекурсивная Функция

функция от натуральных аргументов с натуральными значениями, к-рую можно получить из простейших функций конечным числом операций суперпозиции и примитивной рекурсии. Поскольку исходные функции являются вычислимыми, а операторы суперпозиции и примитивной рекурсии вычислимость сохраняют, множество всех П. Р. Ф. Есть подкласс класса всех вычислимых функций. Каждая П. Р. Ф. Задается описанием ее построения из исходных функций (примитивно рекурсивное описание) и, следовательно, класс всех ..

Примитивное Кольцо

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

Дополнительный поиск Примитивная Рекурсия Примитивная Рекурсия

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Примитивная Рекурсия" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Примитивная Рекурсия, различные варианты толкований, скрытый смысл.

Первая буква "П". Общая длина 20 символа