Terms containing general recursive

Subject	English	Russian
progr.	general form of a recursive traversal algorithm	общий вид рекурсивного алгоритма обхода (ssn)
math.	general recursive	общерекурсивный
math.	general recursive class	общерекурсивный класс
math.	general recursive construction	общерекурсивное построение
math.	general recursive function	общерекурсивная функция
math.	general recursive functional	общерекурсивный функционал
math.	general recursive interpretation	общерекурсивная интерпретация
math.	general recursive number	общерекурсивное число
math.	general recursive predicate	общерекурсивный предикат
math.	general recursive relation	общерекурсивное отношение
math.	general recursive set	общерекурсивное множество
math.	general-recursive inequality	общерекурсивное неравенство
progr.	To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution	для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)