What is the translation of " NORMAL FORM " in Spanish?

• forma normal
• formas normales
• forma habitual
• normal form

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

The Jordan normal form is obtained invoking jordan(m).
La forma normal de Jordan se obtiene usando jordan(m).

Too many of my players were below their normal form.“.
Y muchos jugadores estuvieron por debajo de su forma habitual.".

You quickly return to normal form, getting rid of extra pounds.
Regresa rápidamente a la forma normal, librándose de kilos de más.

Normal form- visual display in the staff client(for the average person) Description.
Formato normal-- presentación visual en el cliente administrativo(para la persona común) Descripción.

She couldn't try some normal form of rebellion like drugs or sex?
¿No puede intentar una forma normal de rebelión como drogas o sexo?

Normal form is used to represent simultaneous games, while extensive form is used to represent sequential ones.
La forma normal se usa para representar juegos simultáneos, y la extensiva para representar juegos secuenciales.

Other applications of the Hermite normal form include integer programming, cryptography, and abstract algebra.
Otras aplicaciones de la forma normal de Hermite incluyen programación en enteros criptografía, y álgebra abstracta.

The standard version of CYK operates only on context-free grammars given in Chomsky normal form CNF.
La versión estándar de CYK reconoce lenguajes definidos por una gramática libre de contexto escrita en la forma normal de Chomsky CNF.

In game theory, normal form is a description of a game.
En teoría de juegos, la forma normal es una forma de describir un juego.

Examples of translations involving this concept are Skolemization and some translations into conjunctive normal form.
Los ejemplos de las conversiones que implican este concepto son Skolemización y algunas transformaciones para llegar a la forma normal conjuntiva.

Second normal form(2NF) is a normal form used in database normalization.
La segunda forma normal(2NF) es una forma normal usada en normalización de bases de datos.

Typical problems in this case involve formulas in"3CNF": conjunctive normal form with no more than three variables per conjunct.
Los problemas típicos en este caso involucran fórmulas en"3FNC": La forma normal conjuntiva con no más de tres variables por conjunción.

Fourth normal form(4NF) is a normal form used in database normalization.
La cuarta forma normal(4NF) es una forma normal usada en la normalización de bases de datos.

As indicated in the figure, the two related but subtly different forms of PrP sc convert the normal form to their own conformation.
Como se indica en la figura, las formas relacionadas, aunque sutilmente diferentes, de la PrP sc convierten la forma normal a su propia conformaci n.

The third normal form(3NF) is a normal form used in database normalization.
La tercera forma normal(3NF) es una forma normal usada en la normalización de bases de datos.

One may interpret the extensive form as being merely a concise description of a normal form game and apply the concepts described above to this normal form game.
Se puede interpretar la forma extensiva como meramente una descripción concisa de un juego en forma normal y aplicar los conceptos descritos en este juego en forma normal.

As in the disjunctive normal form(DNF), the only propositional connectives a formula in CNF can contain are and, or, and not.
Al igual que en una forma normal disyuntiva(FND), los únicos conectivos lógicos que pueden aparecer en una fórmula en FNC son la conjunción, disyunción y negación.

Further development of ALGOL led to ALGOL 60; in its report(1963), Peter Naur named Backus's notation Backus normal form(BNF), and simplified it to minimize the character set used.
El posterior desarrollo de ALGOL llevó al ALGOL 60; en su informe(1963), Peter Naur llamó Notación de Backus-Naur(Backus Normal Form: BNF) a la notación de Backus, y lo simplificó para minimizar el conjunto de caracteres usados.

The N1QL data model is non-first normal form(N1NF) with support for nested attributes and domain-oriented normalization.
Se anunció en marzo de 2015, como"SQL para documentos". El modelo de datos N1QL es N1NF(del inglés non-first normal form) con soporte para atributos anidados y normalización orientada a dominio.

Acquired cases may be due to being infected with the resistant form, which then may convert the person s normal form to the PrP SC, and the process will gradually amplify as above.
Los casos adquiridos pueden deberse a infecciones con la forma resistente, lo cual entonces convierte las formas normales de la persona en PrP SC, y as el proceso gradualmente se amplifica como se mencion antes.

Thus, while the domain/key normal form eliminates the problems found in most databases, it tends to be the most costly normal form to achieve.
Así, mientras que la forma normal de dominio/clave elimina los problemas encontrados en la mayoría de las bases de datos, tiende para ser la forma normal más costosa de alcanzar.

However, successfully building a domain/key normal form database remains a difficult task, even for experienced database programmers.
Sin embargo, construir con éxito una base de datos en forma normal de dominio/clave sigue siendo una tarea difícil, incluso para programadores experimentados de bases de datos.

The normal form of the supercritical pitchfork bifurcation is d x d t r x- x 3.{\displaystyle{\frac{ dx}{ dt}}= rx-x^{ 3}.} For negative values of r{\displaystyle r}, there is one stable equilibrium at x 0{\displaystyle x=0.
La forma normal de la bifurcación tridente supercrítica es: d x d t r x- x 3.{\displaystyle{\frac{ dx}{ dt}}= rx-x^{ 3}.} Para los valores negativos de r{\displaystyle r}, hay un equilibrio estable en x 0{\displaystyle x=0.

For example, all the relations are in third normal form and any relations with join and multi-valued dependencies are handled appropriately.
Por ejemplo, que todas las relaciones estén en la tercera forma normal y cualquier relación con dependencias de unión(join) y multi-valor sean manejadas apropiadamente.

His normal form permits him to attack with his antenna to hit enemies from a distance, while one of his alternate forms is stronger in hand to hand combat and the other has wings that allow him to fly at great speed.
Su forma normal le permite atacar con su Antenas para golpear a enemigos a distancia, mientras que una de sus formas alternativas es más fuerte en combate mano a mano y el otro tiene alas que le permiten volar a gran velocidad.

For instance, given a context-free grammar, one can use the Chomsky normal form to construct a polynomial-time algorithm that decides whether a given string is in the language represented by that grammar or not the CYK algorithm.
Por ejemplo, dada una gramática libre de contexto, se puede usar su forma normal para construir un algoritmo de coste polinomial que decida si una cadena forma parte del lenguaje definido por la gramática o no algoritmo CYK.

Negation normal form is unsuitable for that purpose, since it doesn't use equality as its equivalence relation: a∨¬a isn't reduced to the same thing as 1, even though they're equal.
Las formas normales conjuntiva y disyuntiva también requieren determinar si cada variable está negada o no. La forma normal negativa no sirve para este propósito, ya que no usa la igualdad como una relación de equivalencia:"a∨¬A" no se reduce a"1", aunque son expresiones equivalentes.

Because every formula has a prenex normal form, every formula in the language of second-order arithmetic is Σ n 1{\displaystyle\Sigma_{n}^{1}} or Π n 1{\displaystyle\Pi_{n}^{1}} for some n{\displaystyle n.
Como cada fórmula tiene una forma normal prenexa, cada fórmula en el lenguaje de la aritmética de segundo orden es Σ n 1{\displaystyle\Sigma_{n}^{1}} o Π n 1{\displaystyle\Pi_{n}^{1}} para algún n{\displaystyle n.

Skolemize: it involves passing formulas to Skolem normal form that is a prenex form where existential quantifiers have been eliminated and their quantified variables are replaced by constants or appropriate functions.
Skolemizacion: Consiste en pasar las fórmulas a forma normal de Skolem, una forma prenexa en la que los cuantificadores existenciales se han eliminado y sus variables cuantificadas se han sustituido por constantes o funciones apropiadas.