Variable libre


Révision datée du 14 septembre 2019 à 23:08 par Pitpitt (discussion | contributions) (Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle‏‎ Catégorie:UTexas‏‎ == Définition == xxxxxxx == Français == xx... »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

bound occurrence

in a predicate calculus formula, an occurrence of a variable within the scope of a quantifier ( &forall or &exist ) of that variable.


Source : Utexas Ai vocabulary

Récupérée de « https://datafranca.org/wiki/index.php?title=Variable_libre&oldid=20012 »


Contributeurs: Imane Meziani, wiki