Математический словарь
" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

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

Значение РЕКУРСИВНЫЙ ПРЕДИКАТ в математической энциклопедии:

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

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