Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
French
German
Hungarian
Japanese
Russian
Serbian Latin
Ukrainian
Terms
for subject
Programming
containing
on side
|
all forms
English
Russian
alphabets of the processes on each side of an equation
алфавиты процессов в обоих частях уравнения
(
ssn
)
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
)
data types on the input and output side
типы данных на входной и выходной стороне
(
ssn
)
Here and elsewhere, we assume without stating it that the alphabets of the processes on each side of an equation are the same
Здесь и далее мы неявно предполагаем, что алфавиты процессов в обоих частях уравнения совпадают
(см.
Communicating Sequential Processes by C.A.R. Hoare
1985
ssn
)
on either side
от обеих сторон
(
ssn
)
on either side
с той и другой стороны
(
ssn
)
on the computational side
с вычислительной точки зрения
(
ssn
)
on the engineering side
с технической точки зрения
(
ssn
)
on the interoperability side of the house
в вопросе обеспечения взаимосовместимости
(Microsoft
Alex_Odeychuk
)
on the other side
на другой стороне
(
Alex_Odeychuk
)
on the unmanaged side
на стороне неуправляемого кода
(
amazon.com
Alex_Odeychuk
)
on the unmanaged side
в неуправляемом коде
(
amazon.com
Alex_Odeychuk
)
Get short URL