Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
Danish
Dutch
English
Finnish
French
German
Greek
Italian
Japanese
Portuguese
Russian
Spanish
Ukrainian
Terms
for subject
Programming
containing
left- hand side
|
all forms
|
exact matches only
|
in specified order only
English
Russian
an ordinary inductive definition is one whose validity depends on the fact that the right hand side of each equation uses only indices less than that of the
left hand side
Содержательность обычного индуктивного определения основана на том, что индексы, используемые в правой части каждого уравнения, меньше, чем индексы левой части
(см.
Communicating Sequential Processes by C.A.R. Hoare
1985
ssn
)
left-hand side
левостороннее выражение
(
ssn
)
left-hand side
of an if-then rule
левая часть правила импликации
(множество фактов или утверждений в части "если" правила импликации ("если-то")
ssn
)
the
left hand side
левая часть
(уравнения
ssn
)
the
left hand side
of equation
левая часть уравнения
(
ssn
)
Get short URL