SECOND-ORDER in Portuguese translation

• segunda ordem
• de 2ª ordem
• segunda-ordem
• 2ª ordem
• second-order

Examples of using Second-order in English and their translations into Portuguese

Brahmagupa's interpolation formula is equivalent to modern-day second-order Newton-Stirling interpolation formula.
A fórmula de interpolação de Brahmagupa é equivalente à atual fórmula de interpolação de segunda ordem de Newton-Stirling.

Takeuti's conjecture speculates that a sequent formalisation of second-order logic has cut-elimination.
a conjectura de Takeuti especula que uma formalização sequente de lógica de segunda ordem tem eliminação de corte.

shallow valleys with first and second-order channels predominate.
vales rasos com canais de primeira e segunda ordem.

and which are second-order deviations from it.
quais são os desvios de segunda ordem daquele.

predicate adjectives are not the same kind of thing as second-order predicates such as colour.
Sj∧ Ej; predicados adjetivados não são a mesma coisa que predicados de segunda ordem, como cores.

You can freely select the method of analysis linear static, second-order, large deformation,
O método de análise pode ser selecionado livremente estático linear, segunda ordem, grande deformação

The models that best explain the data were based on the second-order of corrected Akaike information criterion AICc.
A seleção de modelos que melhor explicam os dados foi baseada nos menores valores do Critério de Informação de Akaike de segunda ordem AICc.

It is now common to replace this second-order principle with a weaker first-order induction scheme.
Atualmente, é comum substituir esse princípio de segunda-ordem por um esquema de indução de primeira-ordem mais fraco.

The second-order axiom of induction can be transformed into a weaker first-order induction schema.
O axioma da indução de segunda-ordem pode ser transformado em um esquema indutivo de primeira-ordem mais fraco.

That is, only existential second-order quantification(over relations)
Esta lógica permite quantificação universal(∀)

Second-order logic with Henkin semantics is not more expressive than first-order logic.
A lógica de segunda ordem com semântica de Henkin não é mais expressiva do que a lógica de primeira ordem..

Skolemization works by applying a second-order equivalence in conjunction to the definition of first-order satisfiability.
A skolemização trabalha aplicando a relação de equivalência da lógica de segunda ordem juntamente com a definição de satisfatibilidade da primeira ordem.

Then sentences that were second-order become first-order,
Assim sentenças que estavam em segunda ordem tornam-se de primeira ordem,

Acoustic streaming is a second-order(nonlinear) acoustic effect,
O streaming acÃostico é um efeito acÃostico de segunda ordem(não linear)

Second-order Subtitle also written in italics
O subtítulo da segunda ordem também deverá ser escrito em itálico

A key fact of Gaussian processes is that they can be completely defined by their second-order statistics.
Um fato chave nos processos gaussianos é que eles podem ser completamente definidos por suas estatísticas de segunda ordem.

the induction axiom is a second-order axiom.
o axioma da indução é um axioma de segunda-ordem.

At a certain threshold pc a giant cluster is formed and we have a second-order phase transition.
Em um certo pc limite, um cluster gigante é formado e temos uma transição de fase de segunda ordem.

In the calculation step traveltimes makes use of second-order paraxial approximation, by which one can get a good approximation of the traveltimes in the mesh migration.
Na etapa de ca¿lculo dos tempos de tr¿ansito faz-se uso da aproximac¿a¿o paraxial de segunda ordem, atrav¿es da qual se pode obter uma boa.

This illustrates one way the first-order system PA is weaker than the second-order Peano axioms.
Isso ilustra um modo no qual o sistema de PA de primeira-ordem é inferior aos axiomas de Peano de segunda-ordem.