Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
schematic variable
Examples with "schematic variable" and their translation in Frans
Given that the number of possible subformulas or terms that can be inserted in place of a schematic variable is countably infinite, an axiom schema stands for a countably infinite set of axioms.
La quantité de sous-formules possibles ou terme qui peuvent donner leur valeur à une méta-variable est infinie dénombrable, un schéma d'axiome représente par conséquent en général un un ensemble infini dénombrable d'axiomes.
Schematic variables in first-order logic are usually trivially eliminable in second-order logic, because a schematic variable is often a placeholder for any property or relation over the individuals of the theory.
Les métavariables de logique du premier ordre sont généralement trivialement éliminables en logique d'ordre supérieur, car une métavariable est souvent un espace dédié à toute propriété ou relation sur les éléments de la théorie.
Andere resultaten
An axiom schema is a formula in the metalanguage of an axiomatic system, in which one or more schematic variables appear.
Un schéma d'axiomes est une formule exprimée dans le métalangage d'un système axiomatique, dans lequel une ou plusieurs métavariables apparaissent.
MP3 Splitter & Joiner is not complex to configure because it has a very schematic interface to adjust variables that are convenient for you.
MP3 Splitter & Joiner ne présente aucune difficulté pour être configuré, puisqu'il a une interface très schématique pour régler les variables qui vous conviennent.
These drawings are automatically generated from specific schematic macros in which you use variables that propagate information in the scheme.
Les schémas sont générés automatiquement à partir de macros schématiques spécifiques. Les macros contiennent des variables qui propagent l'information dans le schéma.
I hypothesize that it has a huge frequency which enables it to activate strings of variable widths, however, I am still puzzled as to the schematics.
BMI was introduced as a continuous variable in the multivariate model, and was afterwards categorized for a schematic depiction.
L'IMC a été adopté comme variable continue dans le modèle multivarié et a ensuite été divisé en classes pour une représentation schématique.
A large, clear process schematic on the switch cabinet makes it easy to assign all the process variables.
At this point, mereology often invokes set theory, but any recourse to set theory is eliminable by replacing a formula with a quantified variable ranging over a universe of sets by a schematic formula with one free variable.
Ici, la méréologie invoque souvent la théorie des ensembles, mais tout recours à la théorie des ensembles peut être éliminé en remplaçant une formule à variable quantifiée couvrant un univers d'ensembles par une formule schématique à une variable libre.
Figure 3 is a schematic illustration of a system for scanning an optically variable image comprised of the ink of the invention printed on a substrate.
La figure 3 est une illustration schématique d'un système de lecture optique d'une image optiquement variable constituée de l'encre de l'invention imprimée sur un substrat.
the ladder diagram comprises a graphical interconnection of schematic elements, at least one of which having a corresponding display width which is variable. the corresponding display width is varied in dependence upon the greater of a corresponding symbol display width and a corresponding label display width
le diagramme en échelle consiste en éléments schématisés interconnectés graphiquement dont l'un au moins présente sur l'écran une largeur correspondante variable que l'on ajuste en fonction de la plus grande largeur du symbole correspondant et de la largeur de la légende correspondante
Table 1 provides a schematic outline of the three levels of analysis of variables, which can be applied to the database of the Observatoire des Sciences et des Technologies.
Le tableau 1 présente sous une forme schématique la combinaison des trois niveaux d'analyse qui peuvent être appliqués aux variables contenues dans la banque de données de l' Observatoire des Sciences et des Technologies.
Although behavioural equations were estimated for three key variables in the Western Canadian corn market it is apparent from the schematic representation (see Figure 4) of the model that a number of important economic variable remain exogenous.
Bien que nous ayons estimé des équations de comportement pour trois variables clés du marché du maïs dans l'Ouest du Canada, la représentation schématique du modèle (voir figure 4) montre clairement qu'un certain nombre de variables économiques importantes sont définies comme exogènes.
Synoniemen voor schematic variable in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 16. Exact: 2. Verstreken tijd: 97 ms.
