Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
metavariable
Vertaling van "metavariable" in Frans
In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language.
En logique, une métavariable (aussi nommée variable métalinguistique ou encore variable syntaxique) est un symbole ou une chaîne de symboles qui appartient à un métalangage et représente des éléments d'un certain langage objet.
Attempts to formalize the notion of metavariable result in some kind of type theory.
Les tentatives de formalisation de la notion de métavariable ont abouti à une sorte de théorie des types.
Andere resultaten
Propositional variables should not be confused with the metavariables which appear in the typical axioms of propositional calculus; the latter effectively range over well-formed formulae.
Les variables propositionnelles ne doivent pas être confondus avec les métavariables, qui apparaissent dans les axiomes de calcul propositionnel.
In the rule (schema) above, the metavariables A and B can be instantiated to any element of the universe (or sometimes, by convention, a restricted subset such as propositions) to form an infinite set of inference rules.
Dans les schémas ci-dessus, A et B peuvent être remplacés par n'importe quelle formule bien formée de la logique propositionnelle (on se limite parfois à un sous-ensemble des formules de la logique, comme les propositions) pour former un ensemble infini de règles d'inférence.
The Linear Matrix Inequalities (LMI) tools are extensively used in this dissertation as a solution to the mutivariable robust control problem.
L'outil des Inégalités Linéaires Matricielles (LMI) est utilisé dans la thèse pour la solution du problème de la commande robuste et multi-variables.
METHOD AND SYSTEM FOR HIGH PRECISION CLASSIFICATION OF LARGE QUANTITY OF INFORMATION DESCRIBED WITH MUTIVARIABLE
PROCEDE ET SYSTEME DE CLASSIFICATION TRÈS PRECISE D'UNE GRANDE QUANTITE D'INFORMATIONS DECRITES AVEC DES MULTIVARIABLES
Be sure that the list widget also provides a setVariable() method.
Assurez-vous que le widget contenant la liste fournit également une méthode setVariable().
Depends on the psychological adaptation of the setVariable factors, which include both the characteristics of the character, and the social environment.
Dépend de l'adaptation psychologique de l'ensembleLes facteurs variables, qui comprennent à la fois les caractéristiques du personnage et l'environnement social.
To remove a variable, call setVariable() with a null value.
Pour supprimer une variable, appelez setVariable () avec une valeur « null ».
Whenever the selection in the tree changes, the list's setVariable() method is called.
À chaque fois que la sélection dans l'arbre change, la méthode setVariable() est appelée.
also provided is a method for retrieving web content using netvariables in the recursive web browser system
l'invention porte également sur un procédé pour extraire un contenu internet à l'aide de variables réseau dans le système de navigateur internet récursif
You can use instantiate it, add it to your interface and call the setVariable() method to display the contents of the variable.
Vous pouvez juste l'instancier, l'ajouter à votre interface et appeler la méthode setVariable() pour afficher le contenu de la variable.
This metaparable invites the reader to enter into the parabolic process which is occurring, to become in turn the creator of new parables which will be joined to the others.'
Cette métaparabole l'invite à entrer dans le processus parabolique en cours, à devenir à son tour créateur de nouvelles paraboles qui viendront s'ajouter aux autres.
Synoniemen voor metavariable in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 17. Exact: 2. Verstreken tijd: 92 ms.
