Exemplos de uso de "partially ordered set" em inglês

<>
Prove that P is a partially ordered set. Докажем, что P — частично упорядоченное множество.
The atoms form what mathematicians call a “partially ordered set” — an array in which each element is linked to an adjacent element in a particular sequence. Атомы образуют то, что математики называют «частично упорядоченным множеством», ряд, в котором каждый элемент связан с прилегающим к нему элементом в определенной последовательности.
A budget planning workflow consists of an ordered set of stages that a budget plan moves through. Workflow-процесс планирования бюджета состоит из упорядоченного набора этапов, которые проходит бюджетный план.
He says he could tell which countries were soliciting bids at any given time because as soon as one company ordered a set of Soviet topo maps, three or four others would call up to order the same thing. По его словам, он мог точно сказать, какие страны в тот или иной момент участвовали в тендерах, потому что как только одна компания заказывала комплект советских топокарт, вслед за ней такой же заказ размещали еще три или четыре компании.
I ordered a set online yesterday, had them shipped overnight. Я вчера заказал набор по интернету, вечером их отправили.
On 14 November 2001, due to procedural defects, the Federal Court ordered the Opinion set aside, and referred the matter back for re-determination. 14 ноября 2001 года из-за процессуальных нарушений Федеральный суд решил отложить принятие решения по постановлению и направил дело назад для пересмотра.
On 12 October 2001, his appeal to the appellate instance of the Supreme Court was partially upheld; his conviction on charges relating to the bombing of the shop was set aside for lack of evidence. 12 октября 2001 года его апелляционная жалоба, направленная в апелляционную инстанцию Верховного суда, была частично удовлетворена; решение суда о признании его виновным по обвинению в связи с взрывом магазина было отменено за недостаточностью доказательств.
On 21 December 1999, i.e. subsequent to the submission of the communication under the Optional Protocol, the Supreme Court, considering the case on automatic review, set aside the conviction, finding it based on allegations “not worthy of credence”, and ordered the author's immediate release. 21 декабря 1999 года, т.е. после представления сообщения на основании Факультативного протокола, Верховный суд после автоматического пересмотра дела отменил приговор на том основании, что в основу его были положены " не заслуживающие доверия " утверждения, и постановил незамедлительно освободить автора.
I've increased patrol by a third, set up checkpoints, deployed counter-terrorism units throughout the city, increased bag searches in the subway and ordered all our harbor launches out on patrol. Я увеличил количество патрулей втрое, поставил посты, развернул отряды антитеррора по всему городу усилил личный досмотр в метро и приказал всем нашим портовым катерам выйти в патруль.
Rescission of the contested administrative decision or specific performance, provided that, where the contested administrative decision concerns appointment, promotion or termination, the Appeals Tribunal shall also set an amount of compensation that the respondent may elect to pay as an alternative to the recission of the contested administrative decision or specific performance ordered, subject to subparagraph (b); отмена оспариваемого административного решения или реальное исполнение, при условии, что, когда оспариваемое административное решение касается назначения, повышения по службе или увольнения, Апелляционный трибунал также устанавливает сумму компенсации, которую ответчик может решить выплатить в качестве альтернативы отмене оспариваемого административного решения или реального исполнения, с учетом положений подпункта (b);
Rescission of the contested administrative decision or specific performance, provided that, where the contested administrative decision concerns appointment, promotion or termination, the Dispute Tribunal shall also set an amount of compensation that the respondent may elect to pay as an alternative to the rescission of the contested administrative decision or specific performance ordered, subject to subparagraph (b); отмена оспариваемого административного решения или реальное исполнение, при условии, что, когда оспариваемое административное решение касается назначения, повышения по службе или увольнения, Трибунал по спорам также устанавливает сумму компенсации, которую ответчик может решить выплатить в качестве альтернативы отмене оспариваемого административного решения или реального исполнения, с учетом положений подпункта (b);
Rescission of the contested administrative decision or specific performance, provided that, where the contested administrative decision concerns appointment, promotion or termination, the Dispute Tribunal shall also set an amount of compensation that the respondent may elect to pay as an alternative to the rescission of the contested administrative decision or specific performance ordered; отмена оспариваемого административного решения или реальное исполнение, при условии, что, когда оспариваемое административное решение касается назначения, повышения в должности или увольнения, Трибунал по спорам также устанавливает сумму компенсации, которую ответчик может решить выплатить в качестве альтернативы постановлению об отмене оспариваемого административного решения или реальном исполнении;
Rescission of the contested administrative decision or specific performance, provided that, where the contested administrative decision concerns appointment, promotion or termination, the Dispute Tribunal shall also set an amount of compensation that the respondent may elect to pay as an alternative to the rescission of the contested administrative decision or specific performance ordered, subject to subparagraph (b) of the present paragraph; отмена оспариваемого административного решения или реальное исполнение, при условии, что, когда оспариваемое административное решение касается назначения, повышения по службе или увольнения, Трибунал по спорам также устанавливает сумму компенсации, которую ответчик может решить выплатить в качестве альтернативы отмене оспариваемого административного решения или реального исполнения, с учетом положений подпункта b настоящего пункта;
He ordered them to release the prisoner. Он приказал им освободить заключённого.
Partially integrated Частично интегрированные
They set off fireworks. Они устроили фейерверк.
I ordered new furniture. Я заказала новую мебель.
As I promised, my activities have been partially reduced. Как я и обещал, свою деятельность я частично уменьшил.
A fund was launched to set up a monument in memory of the dead man. Для того, чтобы возвести памятник покойному, был организован фонд.
This isn't what I ordered. Это не то, что я заказывал.
Os exemplos de uso de palavras em diferentes contextos são dados só para fins linguísticos, ou seja, para estudar o uso de palavras numa língua e as suas traduções para outra. Todos os exemplos são colecionados automaticamente em fontes abertas usando tecnologia de pesquisa de dados bilíngues. Se você encontrar algum erro de ortografia, pontuação ou outro erro no texto original ou na tradução, use a opção "Reportar um erro" ou escreva para nós.

Nesta seção, você pode ver como palavras e expressões são usadas em diferentes contextos usando exemplos de traduções feitas por profissionais. A seção Contextos o ajudará a aprender inglês, alemão, espanhol e outros idiomas. Aqui você pode encontrar exemplos com verbos frasais e idiomas em textos que variam em estilo e tema. Exemplos podem ser classificados por traduções e tópicos.

Aprenda línguas estrangeiras, veja a tradução de milhões de palavras e expressões e use-as em sua comunicação por e-mail.