NORMAL FORM in Portuguese translation

• forma normal
• formulário normal
• normal form

Examples of using Normal form in English and their translations into Portuguese

have been converted into, conjunctive normal form.
booleana que estão na, ou foram convertidas para a, forma normal conjuntiva.

Every first-order formula may be converted into Skolem normal form while not changing its satisfiability via a process called Skolemization sometimes spelled Skolemnization.
Cada fórmula de primeira ordem pode ser convertida na forma normal de Skolem por meio do processo de skolemização.

John Backus developed the Backus normal form method of describing programming languages specifically for ALGOL 58.
História==John Backus desenvolveu a Forma Normal de Backus, conhecido como BNF, para descrever ALGOL 58.

Applying the method developed in this thesis, the resulting normal form is a formal series which does not depend of the computation of the kernel of the so called homologic operator.
Com as ferramentas desenvolvidas nesta tese, a forma normal obtida e uma série formal que não depende do cálculo do kernel do chamado operador homológico.

If one of the alleles is the normal form, the colour will be normal, not light.
Se um dos alelos está na forma normal, a coloração será normal, não clara.

The resulting sentence is transformed into a conjunctive normal form with the conjuncts viewed as elements in a set,"S", of clauses.
A sentença resultante é convertida para a forma normal conjuntiva tratada como um conjunto de cláusulas,"S.

The T predicate can be used to obtain Kleene's normal form theorem for computable functions Soare 1987, pp. 15.
O Predicado T pode ser usado para obter o Teorema da Forma Normal de Kleene para funções computáveis Soare 1987, pp. 15.

The algorithm yields a confluent and noetherian term rewrite system that transforms every term into a unique normal form.
O algoritmo resulta em um sistema de termo de reescrita confluente não-eteriano que transforma todo termo em uma única forma normal5.

negation alone(the conjunctive normal form), we can now handle any compound proposition.
negação apenas(a forma normal conjuntiva), pode-se agora manejar qualquer proposição composta.

That was an example of what we call a normal form game.
chamamos de um jogo de forma normal.

are C-sections becoming the normal form of childbirth?
estaria a cesárea se transformando na forma normal de nascer?

This work presents a rigorous numerical method to compute the floquet normal form.
Este trabalho apresenta um método num érico rigoroso para calcular a forma normal de floquet.

only if both terms are transformed into literally the same normal form term.
apenas se ambos os termos são transformados literalmente no mesmo termo de forma normal.

A relational database relation is often described as"normalized" if it meets third normal form.
Para a maioria dos efeitos práticos, considera-se que as bases de dados estão normalizadas se aderirem à terceira forma normal.

the birkho normal form and the kam theorem.
o teorema de aubry-mather, a forma normal de birkhoff e o teorema kam.

Examples of translations involving this concept are Skolemization and some translations into conjunctive normal form.
Exemplos de conversões envolvendo esse conceito são a Skolemização e algumas transformações para a forma normal conjuntiva.

Some common normal forms include conjunctive normal form and disjunctive normal form.
Na lógica proposicional existem duas formas normais: a forma normal conjuntiva e a forma normal disjuntiva.

If the primary key is chosen as suggested the resultant table won't be in Second as well as Third Normal form as the following dependencies exists.
Se a primary key é escolhida como sugerido na tabela resultante não será no Segundo como também no Terceiro Formulário Normal quando as dependências seguintes existirem.

John Backus presented a formal notation for describing programming language syntax later named Backus Normal Form then renamed Backus-Naur Form BNF.
John Backus apresentou uma notação formal para a sintaxe de linguagens de programação descritivas Mais tarde, nomeada de Forma Normal de Backus ou Forma Backus-Naur BNF.

For the spirit's transition into Mary's normal form, Smith stood in front of a black background with wind blowing onto her,
Para a transição do espírito para a forma normal de Mary, Smith estava na frente de um fundo preto com o vento soprando sobre ela,