Рекурсивный Предикат

91

предикат Р(х 1, . .,х п), определенный на натуральных числах и такой, что функция f, заданная на натуральных числах условием истинно, ложно, является рекурсивной функцией. В.

Значения в других словарях
Рекурсивной Эквивалентности Тип

- класс эквивалентности для отношения рекурсивной эквивалентности, т. Е. Совокупность всех подмножеств натурального ряда, каждые два из к-рых могут быть приведены во взаимно однозначное соответствие с помощью частично рекурсивной функции. Таким образом, понятие Р. Э. Т. Служит в рекурсивной теории множеств аналогом понятия мощности в классич. Теории множеств. Так как любые два конечных множества рекурсивно эквивалентны тогда и только тогда, когда они содержат одинаковое число элементов, то ..

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

всюду определенный частично рекурсивный оператор. В. Е. Плиско. ..

Рекурсии Высших Ступеней

рекурсивные определения, в к-рых в качестве вспомогательных объектов наряду с числовыми функциями используются нек-рые функционалы более высоких типов. Напр., для случая рекурсии второй ступени таковыми являются "подстановочные" функционалы вида а также функционалы, получаемые из них посредством этой рекурсии. Интересное свойство Р. В. С. Заключается в том, что многократную рекурсию можно свести к однократной за счет перехода к более высокой ступени. На этом основан метод приведения мног..

Рекурсия

Возвращение, повторение. ..

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

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

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

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