Поиск в словарях
Искать во всех

Математическая энциклопедия - рекурсивный предикат

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

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

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

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

Рейтинг статьи:
Комментарии:

Вопрос-ответ:

Ссылка для сайта или блога:
Ссылка для форума (bb-код):