Examples of using Normal form in English and their translations into French
{-}
-
Colloquial
-
Official
Krivine used an abstract machine to describe formally the notion of head normal form reduction.
Krivine a utilisé une machine abstraite pour définir formellement la réduction en forme normale de tête.infinite sequence of transitions, which means that the term it attempts reducing has no head normal form and corresponds to a non terminating computation.
le terme qu'elle tente tending to revert to the normal form of the bacteria by regrowing a cell wall,
The normal form of the supercritical pitchfork bifurcation is d x d t r x- x 3.{\displaystyle{\frac{ dx}{ dt}}= rx-x^{ 3}.}
La forme normale d'une bifurcation pitchfork supercritique est: d x d t r x- x 3.{\displaystyle{\frac{dx}{dt}}=rx-x^{3}.} Pour des valeurs négatives de r,MAX-3SAT is a problem in MaxSNP0: given an instance of 3-CNF-SAT(the boolean satisfiability problem with the formula in conjunctive normal form and at most 3 literals per clause), find an assignment satisfying as many clauses as possible?
Le problème MAX-3SAT est le suivant: étant donné une formule 3CNF, c'est-à-dire en forme normale conjonctive, dont chaque clause contient au plus 3 littéraux(comme dans le problème 3-SAT), quel est le nombre maximum de clauses pouvant être satisfaites par la même affectation des variables?The Normal Form of Pension The normal form of pension must be defined under the plan terms that describe what benefits,
Forme normale de pension La forme normale de pension doit être définie dans les modalités du régime, qui décriront les prestations payables,All the formulas of LTL can be transformed into negation normal form, where all negations appear only in front of the atomic propositions,
Toutes les formules de LTL peuvent être transformées en forme normale négative, où toutes les négations apparaissent seulement Negation normal form is not a canonical form: for example, a∧( b∨¬ c){\displaystyle a\land(b\lor\lnot c)} and( a∧ b)∨( a∧¬ c){\displaystyle(a\land b)\lor(a\land\lnot c)} are equivalent, and are both in negation normal form.
La forme normale négative n'est pas une a permanent job as the normal form of work and upgrading autonomy in work The research shows that young people have very few prospects of having any control over their own careers,
le travail à durée indéterminée comme forme ordinaire du travail et la qualification du travail autonome Comme le montre la recherche, les nouvelles générations ont très peu de possibilités d'obtenir une certaine margeThe red serum will turn them back to their normal forms.
Le sérum les ramènera à leur forme normale.All normal forms of communications appear to have broken down.
Toutes les formes normales de communication semblent être en panne.Normal forms and large time behavior for nonlinear PDE.
Formes normales et comportement en temps long pour les EDP non-linéaires.Hamiltonian dynamics and normal forms B.
Dynamique hamiltonienne et formes normales B.non-circularly expressed in terms of their Cantor normal forms.
non circulaire) à l'aide de leur forme normale de Cantor.Unicode provides two normal forms that are semantically meaningful for each of the two compatibility criteria:
Et pour chacun de ces deux critères, Unicode fournit deux formes normales: la Normal forms must be applied in the right order:
Les formes normales doivent être appliquées dans l'ordre:which is normal, forms on the inside of the glass
qui est normale, se formera et provoquera l'accumulation de poussièreknown as normal forms.
connus sous le nom de formes normales.Throughout the history of the subject, computations in groups have been carried out using various normal forms.
Les calculs dans les groupes sont souvent effectués en utilisant diverses formes normales.guidelines that db-literates call Normal Forms.
les spécialistes appellent formes normales.
