рекурсивно

Terms for subject Programming containing рекурсивно | all forms | exact matches only

Russian	English
более общие теоремы о рекурсивно определённых процессах	more general theorems about recursively defined processes (ssn)
для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение	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)
рекурсивно определённые процессы	recursively defined processes (ssn)
рекурсивно-параллельная реализация	recursion-parallel implementation (Alex_Odeychuk)
рекурсивно перечислимые множества	recursively enumerable sets (ssn)
рекурсивно перечислимый язык	recursively enumerable language (ssn)
рекурсивные и рекурсивно перечислимые множества	recursive and recursively enumerable sets (ssn)