Большой англо-русский и русско-английский словарь
мат. recursive predicate
Математическая энциклопедия
предикат Р(х 1,...,х п), определенный на натуральных числах и такой, что функция f, заданная на натуральных числах условием истинно,
ложно, является рекурсивной функцией. В. <Е. <Плиско.
Русско-украинский политехнический словарь
рекурси́вний предика́т
Русско-украинский политехнический словарь
рекурси́вний предика́т