Translation of "formalizar" to English language:
Dictionary Portuguese-English
Formalizar - tradução :
Examples (External sources, not reviewed)
| A formalização de Con( T ) depende de dois fatores formalizar a noção de a sentença ser derivável de um conjunto de sentenças e formalizar a noção de uma axioma de T . | The formalization of Con( T ) depends on two factors formalizing the notion of a sentence being derivable from a set of sentences and formalizing the notion of being an axiom of T . |
| Formalizar esta intuição é uma motivação para o desenvolvimento da teoria das categorias. | Formalizing this intuition is a motivation for the development of category theory. |
| É usualmente referenciado como Anel de Einstein pois Khvolson (Chwolson) não conseguiu formalizar o raio do anel. | It is usually referred to in the literature as an Einstein ring, since Chwolson did not concern himself with the flux or radius of the ring image. |
| Note, contudo, que ele fez isso sem formalizar o conceito de grupo ou mesmo o de grupo de permutação. | Note, however, that he got by without formalizing the concept of a group, or even of a permutation group. |
| Em 6 de Abril, a Polónia e a Grã Bretanha concordaram em formalizar a garantia de uma aliança militar. | On 6 April Poland and the UK agreed to formalize the guarantee as a military alliance, pending negotiations. |
| De fato, Zermelo inicialmente introduziu o Axioma da Escolha para formalizar sua prova sobre o teorema da boa ordenação. | In fact, Zermelo initially introduced the axiom of choice in order to formalize his proof of the well ordering theorem. |
| Muito disso pode ser recuperado ao se trocar superficialmente seus objetivos, e com as seguintes mudanças uma parte do programa de Hilbert foi completo com sucesso Embora não seja possível formalizar toda a matemática, é possível essencialmente formalizar toda a matemática que qualquer pessoa usa. | Much of it can be salvaged by changing its goals slightly (Zach 2005), and with the following modifications some of it was successfully completed Although it is not possible to formalize all mathematics, it is possible to formalize essentially all the mathematics that anyone uses. |
| Houve pelo menos duas tentativas com sucesso de formalizar a probabilidade, que foram as formulações de Kolmogorov e a de Cox. | There have been at least two successful attempts to formalize probability, namely the Kolmogorov formulation and the Cox formulation. |
| Esse processo não é meramente hipotético sistemas tais como Isabelle ou Coq são usados para formalizar provas e então checar sua validade. | This process is not merely hypothetical systems such as Isabelle and Coq are used today to formalize proofs and then check their validity. |
| PSDB, PPS e PTB tentaram formalizar o nome do senador Álvaro Dias (PSDB PR), que não foi aceito pelo principal aliado dos tucanos, o DEM. | He received support from his party, as well as the Socialist People's Party (PPS) and the Democrats (DEM). |
| No final de setembro de 1940, o Pacto Tripartite unia o Império do Japão, a Itália fascista e a Alemanha nazista para formalizar as Potências do Eixo. | At the end of September 1940, the Tripartite Pact united Japan, Italy and Germany to formalise the Axis Powers. |
| Frederickson foi para as Filipinas e jantou com o presidente Ferdinando Marcos para formalizar o apoio à produção e permitir lhes usar alguns dos equipamentos militares do país. | Frederickson went to the Philippines and had dinner with President Ferdinand Marcos to formalize support for the production and to allow them to use some of the country's military equipment. |
| Isso contradiz a maior parte do programa de Hilbert como se segue Não é possível formalizar toda a matemática, qualquer tentativa de tal formalismo irá omitir alguma sentença matemática verdadeira. | This wipes out most of Hilbert's program as follows It is not possible to formalize all of mathematics, as any attempt at such a formalism will omit some true mathematical statements. |
| Voluntários do Adus ainda ajudam Talal na difícil tarefa de lidar com a burocracia brasileira para formalizar o negócio problema que afeta outros empreendedores e micro e pequenos empresários estrangeiros no país. | Adus volunteers have also been helping Talal to deal with Brazilian bureaucracy to formalize his business a problem that other small foreign entrepreneurs face in the country. |
| O site Causa Operária relatou em um artigo, a declaração de Domingos Dutra (Partido dos Trabalhadores), ex presidente da Comissão, antes de formalizar a presidência para Feliciano, a 7 de março de 2013 | The site Causa Operária published the final statement of Labor Party member Domingos Dutra, the outgoing committee chairman, before formally handing down the office to Feliciano on 7 March, 2013, in which he accused the party coalition of dictatorship |
| Espaço de cores (também sistema de cores ou espectro de cores) é um modelo abstratode cores abstratas que são feitas pele refleçao do sol matemático para formalizar a descrição de cores através de tuplas de números, tipicamente formadas por três ou quatro elementos. | Examples Colors can be created in printing with color spaces based on the CMYK color model, using the subtractive primary colors of pigment (cyan (C), magenta (M), yellow (Y), and black (K)). |
| Vinte anos após a dissolução da União Soviética, a língua oficial continua motivo de controvérsia no país. Enquanto a Constituição considera a língua moldávia como oficial, o sistema educacional ensina romeno e as minorias étnicas insistem em formalizar o russo como a segunda língua oficial. | Twenty years after the dissolution of the Soviet Union, the official language is still disputed in Moldova, whilst the Constitution calls it Moldovan, the educational system teaches Romanian, and the ethnic minorities insist on formalizing the Russian language as a second official language. |
| Por exemplo, a potência transmitida por uma onda acústica ou eletromagnética ou por um sinal elétrico é proporcional à raiz quadrada da amplitude rms (e em geral, não tem essa relação com a raiz do pico de amplitude)A seguinte equação será adotada para formalizar amplitude formula_1A é a amplitude da onda. | For example, the average power transmitted by an acoustic or electromagnetic wave or by an electrical signal is proportional to the square of the RMS amplitude (and not, in general, to the square of the peak amplitude). |
Pesquisas relacionadas : Formalizar Um Acordo - Formalizar O Acordo - Processo De Formalizar
