Translation of "formally defined" to Portuguese language:

Dictionary English-Portuguese

Defined - translation :

Formally - translation :

Keywords : Definido Definida Definidos Definiu Definidas Formalmente Formal Oficialmente Apresentados Fomos

Examples (External sources, not reviewed)

The counting numbers are exactly what can be defined formally as the finite cardinal numbers.	Os números de contagem são exatamente o que pode ser definido formalmente como os números cardinais finitos.
Negative answer Before the question could be answered, the notion of algorithm had to be formally defined.	Antes que a questão pudesse ser respondida, a noção de algoritmo tinha que ser formalmente definida.
In the modern understanding, a set of axioms is any collection of formally stated assertions from which other formally stated assertions follow by the application of certain well defined rules.	Na visão moderna, um conjunto de axiomas é uma coleção de asserções formalmente estáveis das quais se seguem outras asserções formais estáveis pela aplicação de certas regras bem definidas.
However , as this liability has grown , it was decided to formally include it in the calculation of the defined benefit obligation .	No entanto , com o crescimento destas responsabilidades , decidiu se incluí las formalmente no cálculo da obrigação de benefícios definidos .
Formally, a sequence can be defined as a function whose domain is a countable totally ordered set, such as the natural numbers.	Formalmente falando, uma sequência é uma função cujo domínio é um conjunto contável totalmente ordenado.
Formally, the definition is by transfinite induction the formula_13 th element of the class is defined (provided it has already been defined for all formula_15), as the smallest element greater than the formula_16 th element for all formula_15.	Formalmente, a definição é por indução transfinita o µ ésimo da classe é definido (desde que já tenha sido definido para todos os β µ), como o menor elemento maior que o β ésimo elemento para todo β µ.
More formally the semantics of the natural join are defined as follows formula_16where Fun is a predicate that is true for a relation r iff it is also true for relation s .	Mais formalmente, a semântica da junção natural é definida como segue formula_18onde Fun é um predicado que é verdadeiro para uma relação binária r se e somente se formula_19 é uma relação funcional binária.
Speeches are given, formally opening the Games.	Discursos são dados, formalmente abrindo os Jogos.
Queen Mary refused to receive her formally.	A rainha Maria recusou se a recebê la formalmente.
First Madrid, then Washington, formally declared war.	Primeiro Madrid, então Washington, declarou formalmente guerra.
Definition The factorial function is formally defined by the product formula_2or by the recurrence relation formula_3The factorial function can also be defined by using the power rule as formula_4All of the above definitions incorporate the instance formula_5in the first case by the convention that the product of no numbers at all is 1.	Definição A função fatorial é normalmente definida por formula_1Por exemplo, formula_2Note que esta definição implica em particular que formula_3porque o produto vazio, isto é, o produto de nenhum número é 1.
Hitler himself became formally the governor of Prussia.	Hitler se tornou formalmente o governador da Prússia.
Part 1 has been formally adopted by ANSI.	A Parte 1 foi formalmente adoptada pelo ANSI.
Toronto was formally established as Ontario's provincial capital.	A capital do Ontário é Toronto.
More formally, the Algorithmic Complexity (AC) of a string x is defined as the length of the shortest program that computes or outputs x, where the program is run on some fixed reference universal computer.	Mais formalmente, a complexidade algorítmica (AC) de uma cadeia x é definido como o comprimento do programa mais curto que computa ou gera x, em que o programa é executado em uma referência fixa de computador universal.
the defined	Os resultados provenientes da reavaliação dos activos do fundo de pensões são reconhecidos como proveitos e custos do plano de reformas no ano em que ocorrem .
The flag was formally adopted on November 21, 1918.	Foi formalmente adoptada a 21 de Novembro de 1918.
The King is formally the chief of the military.	Porém, o rei é igualmente o chefe do governo.
The city was founded formally on April 29, 1939.	Recebeu o estatuto de cidade a 29 de Abril de 1939.
On January 1, 1873 the town was formally created.	Em 1 de janeiro de 1873, o município foi formalmente criado.
Johns formally assumed the role of a co producer.	Dessa vez, Daniel Johns assumiu formalmente o papel de co produtor.
The electric field was formally defined as the force exerted per unit charge, but the concept of potential allows for a more useful and equivalent definition the electric field is the local gradient of the electric potential.	O campo elétrico foi definido inicialmente como a força elétrica exercida sobre cada unidade de carga, mas o conceito de potencial permite uma definição equivalente contudo muito mais prática o campo elétrico corresponde ao negativo do gradiente do potencial elétrico.
For the next seventeen years, Albert was formally titled HRH Prince Albert until, on 25 June 1857, Victoria formally granted him the title Prince Consort.	Nos anos seguintes, ele foi formalmente chamado de Sua Alteza Real, o príncipe Alberto até que, em 25 de junho de 1857, Vitória lhe conferiu o título de Príncipe Consorte .
On December 19, 2003, Libya formally renounced all WMD efforts.	A 19 de Dezembro de 2003, a Líbia renunciou formalmente a todos os esforços ADM.
I therefore appeal formally to the Council and the Commission.	Lanço portanto um apelo solene ao Conselho e à Comissão.
The Constitution of Puerto Rico was formally adopted on , 1952.	27 da população em Porto Rico é estrangeira.
In writing, the emperor is also referred to formally as .	Na escrita, o Imperador também é referido formalmente como .
In the parliament of 1453 Edmund was formally declared legitimate.	Nas sessões parlamentares de 1453, Edmundo foi declarado filho legitimo.
On January 1, the teams formally ended support for phpBB2.	O suporte ao phpBB2 foi oficialmente encerrado em 1 de janeiro de 2009 .
Furthermore , the ECB intervened formally in the negotiations of the IGC .	Além disso , interveio formalmente nas negociações da CIG .
France formally ceded possession of Dominica to Great Britain in 1763.	França cedeu formalmente a possessão da Dominica à Grã Bretanha em 1763.
As a result, he formally outranked provincial governors and ordinary magistrates.	Como resultado, o imperador encontrava se acima dos governadores provinciais e dos magistrados ordinários.
Georgetown was formally annexed by the City of Washington in 1895.	Em 1888, o Monumento de Washington foi inaugurado na cidade.
Dallas was formally incorporated as a city on February 2, 1856.	Atualmente, Dallas é uma cidade global alfa.
He was formally named as Führer und Reichskanzler (leader and chancellor).	Ele foi formalmente nomeado como Führer und Reichskanzler (líder e chanceler).
On 11 May, William and Mary formally accepted the Scottish crown.	Em 11 de maio, os dois formalmente aceitaram a coroa escocesa.
The following day, they formally entered London in a ceremonial procession.	No dia seguinte, entraram formalmente em Londres numa procissão cerimonial.
In 1997 the WHO formally recognized obesity as a global epidemic.	No entanto, em 1997 a OMS reconheceu formalmente a obesidade enquanto epidemia à escala global.
The Portuguese Empire (formally the United Kingdom of Brazil, Portugal and Algarves since 1815) then formally annexed the Eastern Bank, under the name Cisplatina, with support from local elites.	Em 31 de julho de 1821, foi incorporado ao Reino Unido de Portugal, Brasil e Algarves pelo príncipe regente português, com o nome de Província Cisplatina.
PRESS RELEASE 4 February 2003 Governing Council formally recommends new voting system	4 de Fevereiro de 2003 O CONSELHO DO BCE RECOMENDA FORMALMENTE UM NOVO SISTEMA DE VOTAÇÃO
Satellite Quaoar has one known satellite, Weywot, formally (50000) Quaoar I Weywot .	Quaoar possui um satélite conhecido, Weywot, com diâmetro estimado em 100 quilômetros.
Emperor Akihito formally acceded to the throne ( sokui ) on 12 November 1990.	O Imperador Akihito foi formalmente entronizado como Imperador do Japão no dia 12 de novembro de 1990.
New Amsterdam was formally incorporated as a city on February 2, 1653.	Em 2 de fevereiro de 1653, o município (de Nova Iorque) foi formado.
In 74 BC the territory was formally transformed into a Roman province.	Em 74 a.C. o território foi formalmente transformado em província romana.
(1975) A Theory of Program Size Formally Identical to Information Theory, J.	(1975) A Theory of Program Size Formally Identical to Information Theory, J.

Exibir esta página em português