DictionaryForumContacts

   Russian
Terms for subject Programming containing всяко | all forms
RussianEnglish
всякий разin each case (ssn)
всякий раз при возникновении событияeach time the event is triggered (Alex_Odeychuk)
всякий раз при срабатывании событияeach time the event is triggered (Alex_Odeychuk)
всякое должным образом предварённое рекурсивное уравнениеevery properly guarded recursive equation (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)