РЕКУРСИВНЫЙ ПРЕДИКАТ

РЕКУРСИВНЫЙ ПРЕДИКАТ

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

ложно, является рекурсивной функцией. В. <Е. <Плиско.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужен реферат?

Смотреть что такое "РЕКУРСИВНЫЙ ПРЕДИКАТ" в других словарях:

  • РАЗРЕШИМЫЙ ПРЕДИКАТ — такой n местный предикат Р, заданный на нек ром множестве конструктивных объектов (напр., натуральных чисел) М, для к рого существует алгоритм, позволяющий для любого набора а 1; . . ., а п элементов множества Мнайти значение (И или Л) предиката… …   Математическая энциклопедия

  • РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… …   Философская энциклопедия

  • КОНСТРУКТИВНОГО ПОДБОРА ПРИНЦИП — принцип Маркова, логико философский принцип конструктивной математики, выдвинутый А. А. Марковым [1], [2] и в общей форме утверждающий, что если конструктивный процесс, заданный нек рым предписанием, не является неограниченно продолжаемым, то он… …   Математическая энциклопедия

  • Грамматика, разбирающая выражение — (РВ грамматика)  это тип аналитической формальной грамматики, описывающей формальный язык в терминах набора правил для распознавания строк языка. Грамматика, разбирающая выражение, в сущности, представляет собой синтаксический анализатор… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»