corpo real fechado oor Engels
corpo real fechado
Vertalings in die woordeboek Portugees - Engels
real closed field
en
field F that has the same first-order properties as the field of real numbers
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
A teoria de um corpo real fechado.
Potential contracting partners of public authorities may be private organisations operating in the energy industry in so far as they supply energy or provide other energy efficiency servicesWikiMatrix WikiMatrix
Por exemplo, Tarski encontrou um algoritmo que pode comprovar qualquer enunciado da geometria analítica (mais precisamente, ele provou que a teoria de corpos reais fechados é decidível).
Subject: Asbestos-related diseasesWikiMatrix WikiMatrix
Decorre do teorema que a teoria de (N, +, ×, 0, 1) (a teoria da verdadeira aritmética de primeira ordem) tem inúmeros modelos, e que a teoria de (R, +, ×, 0, 1) (a teoria de corpos reais fechados) tem um modelo contável.
Don' t be stupid, okay, Melinda?WikiMatrix WikiMatrix
Nós, adultos, gostamos de exagerar as coisas um pouco para conseguir atenção porque a verdade é que nós, velhos, somos realmente criancinhas fechados dentro de velhos corpos.
She almost delivered in my car!OpenSubtitles2018.v3 OpenSubtitles2018.v3
Em 1871, Richard Dedekind deu o nome de "corpo" a um conjunto de números reais ou complexos que são fechados para as quatro operações aritméticas.
She learnin ' the whole businessWikiMatrix WikiMatrix
E tenho fechado os olhos ao que todo o meu corpo... me tem apresentado como real:
For smiling?OpenSubtitles2018.v3 OpenSubtitles2018.v3
E tenho fechado os olhos ao que todo o meu corpo... me tem apresentado como real
We must speak to the Tok' Ra directlyopensubtitles2 opensubtitles2
Conjunto composto por um veículo de exame da subcategoria D1 e por um reboque cuja massa máxima autorizada não pode ser inferior a 1 250 kg e que pode atingir a velocidade de, pelo menos, 80 km/h. O compartimento de carga do reboque deve consistir num corpo de caixa fechada cujas largura e altura sejam de pelo menos 2 metros; o reboque deve ser apresentado com um mínimo de 800 kg da sua massa real total.
The Murphy report is splendid and prepares the way for better and safer public transport in the future.EurLex-2 EurLex-2
Conjunto composto por um veículo de exame da categoria D1 e por um reboque cuja massa máxima autorizada não pode ser inferior a 1 250 kg e que pode atingir a velocidade de, pelo menos, 80 km/h. O compartimento de carga do reboque deve consistir num corpo de caixa fechada cujas largura e altura sejam de pelo menos 2 metros; o reboque deve ser apresentado com um mínimo de 800 kg da sua massa real total.
cop) We' re at the scene right nownot-set not-set
Conjunto composto por um veículo de exame da subcategoria D1 e por um reboque cuja massa máxima autorizada não pode ser inferior a 1250 kg e que pode atingir a velocidade de, pelo menos, 80 km/h. O compartimento de carga do reboque deve consistir num corpo de caixa fechada cujas largura e altura sejam de pelo menos 2 metros; o reboque deve ser apresentado com um mínimo de 800 kg da sua massa real total.
I would be happy to let you spank meEurLex-2 EurLex-2
Conjunto composto por um veículo de exame da categoria D1 e por um reboque cuja massa máxima autorizada não pode ser inferior a 1 250 kg e que pode atingir a velocidade de, pelo menos, 80 km/h. O compartimento de carga do reboque deve consistir num corpo de caixa fechada cujas largura e altura sejam de pelo menos 2 metros; o reboque deve ser apresentado com um mínimo de 800 kg da sua massa real total.
We did an extra half- hourEurLex-2 EurLex-2
Conjunto composto por um veículo de exame da subcategoria C1 e por um reboque com massa máxima autorizada não inferior a 1 250 kg; o conjunto deve ter comprimento mínimo de 8 metros e atingir a velocidade de, pelo menos, 80 km/h; o compartimento de carga do reboque deve consistir num corpo de caixa fechada cujas largura e altura sejam pelo menos iguais às da cabina; o reboque será apresentado com um mínimo de 800 kg da sua massa real total.
Based on in vitro and in vivo studies, raltegravir is eliminated mainly by metabolism via a UGT#A#-mediated glucuronidation pathwayEurLex-2 EurLex-2
Conjunto composto por um veículo de exame da subcategoria C1 e por um reboque com massa máxima autorizada não inferior a 1250 kg; o conjunto deve ter comprimento mínimo de 8 metros e atingir a velocidade de, pelo menos, 80 km/h; o compartimento de carga do reboque deve consistir num corpo de caixa fechada cujas largura e altura sejam pelo menos iguais às da cabina; o reboque será apresentado com um mínimo de 800 kg da sua massa real total.
However, intensification of insulin therapy with abrupt improvement in glycaemic control may be associated with temporary worsening of diabetic retinopathyEurLex-2 EurLex-2
Conjunto composto por um veículo de exame da categoria D e por um reboque cuja massa máxima autorizada não pode ser inferior a 1250 kg, com largura não inferior a 2,40 metros e que pode atingir a velocidade de, pelo menos, 80 km/h. O compartimento de carga do reboque deve consistir num corpo de caixa fechada cujas largura e altura sejam de pelo menos 2 metros; o reboque deve ser apresentado com um mínimo de 800 kg da sua massa real total.
I will think of somethingEurLex-2 EurLex-2
Conjunto composto por um veículo de exame da categoria D e por um reboque cuja massa máxima autorizada não pode ser inferior a 1 250 kg, com largura não inferior a 2,40 metros e que pode atingir a velocidade de, pelo menos, 80 km/h. O compartimento de carga do reboque deve consistir num corpo de caixa fechada cujas largura e altura sejam de pelo menos 2 metros; o reboque deve ser apresentado com um mínimo de 800 kg da sua massa real total.
And executed just as easilyEurLex-2 EurLex-2
Conjunto composto por um veículo de exame da categoria D e por um reboque cuja massa máxima autorizada não pode ser inferior a 1 250 kg, com largura não inferior a 2,40 metros e que pode atingir a velocidade de, pelo menos, 80 km/h. O compartimento de carga do reboque deve consistir num corpo de caixa fechada cujas largura e altura sejam de pelo menos 2 metros; o reboque deve ser apresentado com um mínimo de 800 kg da sua massa real total.
You pulled it out, girl!not-set not-set
Veículo da categoria C com, pelo menos, massa máxima autorizada de # kg, comprimento de # metros e largura de #,# metros e que pode atingir a velocidade de # km/h, equipado com travões anti-bloqueio, com caixa de pelo menos oito relações de transmissão para avanço e com equipamento de controlo nos termos do Regulamento (CEE) no #/#; o compartimento de carga deve consistir num corpo de caixa fechada cujas largura e altura sejam pelo menos iguais às da cabina; o veículo deve ser apresentado com um mínimo de # kg da sua massa real total
Now they want to have their cake and eat it too with protectionism of an industry as my colleague from Swift Current pointed outoj4 oj4
Neste trabalho apresentamos a classificação algébrica e geométrica das álgebras de Jordan de dimensões pequenas sobre um corpo $k$ algebricamente fechado de $char k eq 2$ e sobre o corpo dos números reais.
Take it up the Yangtze estuary.Rendezvous with some Hakka friends. Are they proper pirates, you mean?ParaCrawl Corpus ParaCrawl Corpus
Veículo da categoria C com, pelo menos, massa máxima autorizada de 12000 kg, comprimento de 8 metros e largura de 2,40 metros e que pode atingir a velocidade de 80 km/h, equipado com travões anti-bloqueio, com caixa de pelo menos oito relações de transmissão para avanço e com equipamento de controlo nos termos do Regulamento (CEE) n.o 3821/85; o compartimento de carga deve consistir num corpo de caixa fechada cujas largura e altura sejam pelo menos iguais às da cabina; o veículo deve ser apresentado com um mínimo de 10000 kg da sua massa real total.
The Communities take on exposure to credit risk, which is the risk that a counterparty will be unable to pay amounts in full when dueEurLex-2 EurLex-2
41 sinne gevind in 29 ms. Hulle kom uit baie bronne en word nie nagegaan nie.