Частично Рекурсивный Оператор

175

- отображение класса всех одноместных функций в себя, определяемое следующим образом. Пусть Ф z- нек-рый перечисления оператор. С этим оператором естественным образом связан другой оператор к-рый действует на одноместных функциях. А именно, всякая функция имеет график - множество всех пар ( х, у )таких, что При фиксированном способе кодирования пар натуральными числами этот график может рассматриваться как множество натуральных чисел. Если теперь также является графиком нек-рой функции то полагают В противном случае считают, что значение не определено. Таким образом, каждый оператор перечисления Ф z определяет нек-pый Ч. Р. О. Если Ч. Р. О. Определен на всех функциях, он наз. Рекурсивным оператором. Ч. Р. О., к-рый определен на всех всюду определенных функциях и переводит всюду определенные функции во всюду определенные, наз.

Общерекурсивным оператором. Не всякий Ч. Р. О. Может быть продолжен до рекурсивного оператора. Всякий общерекурсивный оператор является рекурсивным оператором. Обратное включение не имеет места. Лит.:[1] Роджерс X., Теория рекурсивных функций и эффективная вычислимость, пер. С англ., М., 1972. В. Е. Плиско.

Значения в других словарях
Частичная Проблема

собственных значений - задача вычисления одного или нескольких собственных значений квадратной матрицы, обычно действительной или комплексной, а также соответствующих им собственных векторов. Чаще всего в практике встречаются следующие варианты Ч. П. Собственных значений. 1) найти группу наименьших (наибольших) по абсолютной величине собственных значений. 2) найти группу собственных значений, ближайших к заданному числу a. 3) найти точки спектра, принадлежащие заданному интервалу (для симметр..

Частично Рекурсивная Функция

рекурсивная функция,- одно из эквивалентных уточнений понятия вычислимой функции. В. Е. Плиско. ..

Частично Упорядоченная Группа

группа G, на к-рой задано отношение частичного порядка такое, что для любых а, b, х, у из G неравенство влечет за собой Множество Ч. У. Г., называемое положительным конусом, или целой частью, группы G, обладает свойствами. 1) 2) 3) для любых Всякое подмножество Ргруппы G, удовлетворяющее условиям 1) - 3), задает на Gчастичный порядок тогда и только тогда, когда для к-рого Рслужит положительным конусом. Примеры Ч. У. Г. Аддитивная гpyппa действительных чисел с обычным порядком. Груп..

Частично Упорядоченное Множество

непустое множество, на к-ром зафиксирован нек-рый порядок. Ч. У. М. Является примером модели. Примеры Ч. У. М. 1) множество натуральных чисел с обычным порядком. 2) множество натуральных чисел, где означает, что аделит b. 3) множество всех подмножеств нек-рого множества, где означает, что 4) множество всех действительных функций на отрезке [0, 1], где означает, что для всех 5) множество конечных возрастающих последовательностей натуральных чисел, где означает, что и а i=bi при (см..

Дополнительный поиск Частично Рекурсивный Оператор Частично Рекурсивный Оператор

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

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

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