ЛОГІЧНОМУ - переклад на Англійською

• logical
• boolean

Приклади вживання Логічному Українська мовою та їх переклад на Англійською

Якщо операційною системою при цьому логічному розбиття є z/VM®вона передає команду SIE для виконання своїх гостьових(віртуальних) машин у своєму V=V(віртуальному) запам'ятовуючому пристрої.
If z/VM® is the operating system in that logical partition, it issues the SIE instruction to execute its guests(virtual) machines in its V=V(virtual) storage.

цей об'єкт оцінюватиметься як хиба у логічному контексті, наприклад,
this object will evaluate to false in a boolean context, i.e.,

Інтернет-телебачення протоколу(IPTV)- це надання телевізійного Контенту, використовуючи сигнали, засновані на логічному Інтернет-протоколу(IP), а не через традиційні наземного,
Internet Protocol television(IPTV) is the delivery of television content over computer networks based on the logical Internet Protocol(IP),

Це вивчення самопрацюючих віртуальних машин для допомоги в логічному розумінні введення і виведення процесу,
Automata Theory is the study of self-operating virtual machines to help in logical understanding of input

Результати повинні бути представлені в логічному порядку, причому рекомендується приводити результати в порядку важливості,
Results should be presented in a logical order, and it is recommended to give the results in order of importance,

Щоб вибудувати цей список не в алфавітному, а в логічному порядку і вибрати беззастережного претендента на лідерство,, постаравшись підійти до справи по-кіношному
In order to build this list is not alphabetical, but in a logical order and choose an unqualified candidate for the leadership, trying to approach

комп'ютерне моделювання слідує логічному покроковому процесу збільшення складності,
the computer simulation followed a logical stepwise process to increase complexity,

Інтернет-телебачення протоколу(IPTV)- це надання телевізійного Контенту, використовуючи сигнали, засновані на логічному Інтернет-протоколу(IP), а не через традиційні наземного,
Internet Protocol television(IPTV) is the delivery of television content using signals based on the logical Internet protocol(IP),

Крім того, автоматичне виявлення додаткових технологій, присутніх на логічному томі/фізичному пристрої, в поєднанні з новими іконками розділів значно полегшує пошук необхідного сховища
Moreover, automatic detection of additional technologies present on a logical volume/physical device combined with new partition icons make it much easier to locate the needed storage

до прізвища Петрових і чи може воно бути так названо,- грунтуючись лише на логічному відношенні його до інших носіїв тієї ж прізвища.
called by that name, based simply on the logical relationship with the other carriers of the same family name.

неопозітівістськом етапах еволюції Р. ця програма вела до розчинення теорії пізнання в логічному аналізі, а в подальшому він знов визнав самостійне значення філософських проблем.
neopositivistic stages of his evolution, this plan resulted in the dissolution of the theory of knowledge in logical analysis, but subsequently Russell once again acknowledged the independent significance of philosophic problems.

логічно менш імовірної теорії- до теорії, яка була більш строго перевірювана завдяки тому, що робила передбачення, що простіше спростовувались у логічному розумінні.
towards a theory which was more severely testable because it made predictions which, in a purely logical sense, were more easily refutable.

потім розгортати її в самостійному логічному викладенні.
then deploy it in a separate logical exposition.

Однак у паралельному логічному програмуванні будь-який результат завершального обчислення є логічним наслідком програми,
However, in concurrent logic programming, any result of a terminating computation is a logical consequence of the program,

як у звичайному логічному програмуванні, але обмеження перевіряються на здійснимість за допомогою спеціалізованого вирішувача обмежень,
as in ordinary logic programming, but constraints are checked for satisfiability by a domain-specific constraint-solver,

перевірити змінну файлу в логічному вираженні(застосувавши оператор“!”,
check the file in a variablelogical expression(applying the operator“!”,

Припустімо, що ми досягли успіху в логічному доказі дійсності певної абсолютної норми
For assuming we have succeeded in logically proving the validity of an absolute standard,

І це продемонструвало[10], що перекладена формула допустима в пропозиціональному модальному логічному S4, якщо і лише якщо, попередньо перекладена формула допустима в IPC.
And it has been demonstrated[14] that the translated formula is valid in the propositional modal logic S4 if and only if the original formula is valid in IPC.

В математичній логіці та логічному програмуванні диз'ю́нкт Го́рна(англ. Horn clause)- це логічна формула певного правилоподібного вигляду, який надає їй корисних властивостей для застосування в логічному програмуванні,
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming,

які необхідно вирішити(як у звичайному логічному програмуванні).
goals to be solved(as in normal logic programming).