Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Chinese
Danish
Dutch
English
Esperanto
Estonian
Finnish
French
German
Hebrew
Hungarian
Italian
Japanese
Kalmyk
Latvian
Norwegian Bokmål
Polish
Portuguese
Romanian
Scottish Gaelic
Spanish
Swedish
Tajik
Turkish
Ukrainian
Vietnamese
Terms for subject
Programming
containing
должным образом
|
all forms
|
exact matches only
|
in specified order only
Russian
English
всякое
должным образом
предварённое рекурсивное уравнение
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
)
должным образом
in a controlled manner
(
kkruglov
)
сделанный не
должным образом
not done properly
(
ssn
)
Get short URL