« Univers de Herbrand » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence Artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle ») |
||
| Ligne 2 : | Ligne 2 : | ||
== en construction == | == en construction == | ||
[[Catégorie:Vocabulary]] | [[Catégorie:Vocabulary]] | ||
[[Catégorie:Intelligence | [[Catégorie:Intelligence artificielle]] | ||
[[Catégorie:UTexas]] | [[Catégorie:UTexas]] | ||
Version du 13 septembre 2019 à 21:30
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.
Contributeurs: Imane Meziani, wiki
