Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Abkhaz
Afrikaans
Albanian
Amharic
Arabic
Armenian
Assamese
Azerbaijani
Bashkir
Basque
Bengali
Bosnian
Bosnian cyrillic
Bulgarian
Catalan
Chinese
Chinese Taiwan
Chinese simplified
Croatian
Czech
Danish
Dutch
English
Esperanto
Estonian
Filipino
Finnish
French
Galician
Georgian
German
Greek
Gujarati
Hausa
Hebrew
Hindi
Hungarian
Icelandic
Igbo
Indonesian
Inuktitut
Irish
Italian
Japanese
Kalmyk
Kannada
Kazakh
Khmer
Kinyarwanda
Konkani
Korean
Kyrgyz
Latvian
Lithuanian
Luxembourgish
Macedonian
Malay
Malayalam
Maltese
Maori
Marathi
Nepali
Norwegian
Norwegian Bokmål
Odia
Persian
Polish
Portuguese
Punjabi
Quechuan
Romanian
Russian
Serbian
Serbian Latin
Sesotho sa leboa
Sinhala
Slovak
Slovene
Spanish
Swahili
Swedish
Tajik
Tamil
Tatar
Telugu
Thai
Tswana
Turkish
Turkmen
Ukrainian
Urdu
Uzbek
Vietnamese
Welsh
Wolof
Xhosa
Yoruba
Zulu
Terms
for subject
Programming
containing
ввести
|
all forms
|
exact matches only
Russian
English
давать возможность
ввести
provide
(
ssn
)
давать возможность
ввести
полезную гибкость
provide a useful flexibility
(
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
)
один из способов, позволяющих
ввести
пользовательское управление ресурсами, заключается в присоединении семафора к каждому из ресурсов
one way of allowing user management of resources is to associate a semaphore with each resource
(см.
Modern Operating Systems
Third ed.
by Tanenbaum A.S.
2009
)
Таким образом, понятие подкласс даёт возможность
ввести
полезную гибкость в механизм ссылок на объект
Thus the subclass notion provides a useful flexibility of object referencing
(
ssn
)
Get short URL