Translation of "formalize" to Portuguese language:
Dictionary English-Portuguese
Formalize - translation :
Examples (External sources, not reviewed)
| The collective says it has no desire to do business, nor to formalize or incorporate ourselves | Somos um coletivo em rede sem vontade de fazer negócios, sem ânimo de formalizarmo nos, nem de nos corporativizar. |
| Consideration of the natural numbers also leads to the transfinite numbers, which formalize the concept of infinity . | Considerações sobre os números naturais levaram aos números transfinitos, que formalizam o conceito de contar até o infinito. |
| Extensive form The extensive form can be used to formalize games with a time sequencing of moves. | Forma extensiva A forma extensiva de um jogo tenta capturar jogos onde a ordem é importante. |
| On 6 April Poland and the UK agreed to formalize the guarantee as a military alliance, pending negotiations. | Em 6 de Abril, a Polónia e a Grã Bretanha concordaram em formalizar a garantia de uma aliança militar. |
| There have been at least two successful attempts to formalize probability, namely the Kolmogorov formulation and the Cox formulation. | Houve pelo menos duas tentativas com sucesso de formalizar a probabilidade, que foram as formulações de Kolmogorov e a de Cox. |
| 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. | 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. |
| In fact, Zermelo initially introduced the axiom of choice in order to formalize his proof of the well ordering theorem. | De fato, Zermelo inicialmente introduziu o Axioma da Escolha para formalizar sua prova sobre o teorema da boa ordenação. |
| Category theory can be used to formalize concepts of other high level abstractions such as set theory, ring theory, and group theory. | As aplicações de teoria das categorias estendem se por áreas como álgebra, teoria da recursividade, semântica formal, etc. |
| This process is not merely hypothetical systems such as Isabelle and Coq are used today to formalize proofs and then check their validity. | 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. |
| Late in April 2017, Garcia s committee passed Assembly Bill 378, which would formalize air pollution regulation as part of the state s cap and trade program. | Mais adiante, em abril de 2017, o comitê aprovou a Lei Estadual N 378, reconhecendo formalmente a regulação da poluição atmosférica como parte do programa estadual de controle de emissões. |
| 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. | 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. |
| In 1997, Sun Microsystems approached the ISO IEC JTC 1 standards body and later the Ecma International to formalize Java, but it soon withdrew from the process. | Padronização Em 1997 a Sun Microsystems tentou submeter a linguagem a padronização pelos órgãos ISO IEC e ECMA, mas acabou desistindo. |
| 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. | 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. |
| 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. | 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. |
Related searches : Formalize Process - Formalize An Agreement - Formalize The Agreement
