Univers de Herbrand


Révision datée du 13 septembre 2019 à 21:43 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 == xxxxxxx == A... »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

Herbrand universe

in mathematical logic, a recursively defined set of terms, in which the first level is the set of all constant symbols and each subsequent level includes all functions applied to terms in the previous level.


Source : UTexas Artificial Intelligence Vocabulary

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


Contributeurs: Imane Meziani, wiki