DictionaryForumContacts

   English
Terms containing only one solution | all forms | in specified order only
SubjectEnglishRussian
gen.only one feasible solutionединственно возможное решение (bigmaxus)
progr.only one solutionединственное решение (ssn)
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)