Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Afrikaans
Chinese
Danish
Dutch
English
Esperanto
French
German
Greek
Hungarian
Italian
Japanese
Norwegian Bokmål
Portuguese
Russian
Serbian Latin
Slovene
Spanish
Ukrainian
Terms
for subject
Programming
containing
left 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 side
левый операнд
(операции присваивания
ssn
)
left side
of an assignment statement
левая часть оператора присваивания
(
ssn
)
left side
of an equal sign
левый операнд операции присваивания
(
ssn
)
left-hand side
левостороннее выражение
(
ssn
)
left-hand side of an if-then rule
левая часть правила импликации
(множество фактов или утверждений в части "если" правила импликации ("если-то")
ssn
)
left-side
expression
выражение в левой части
(
ssn
)
the left hand side
левая часть
(уравнения
ssn
)
the left hand side of equation
левая часть уравнения
(
ssn
)
the
left side
is called the consequent because it is the consequence of the truth of the antecedent
Левая часть называется консеквентом, поскольку она является следствием истинности антецедента
Get short URL