« Univers de Herbrand » : différence entre les versions

Dernière version du 28 janvier 2024 à 14:50

Définition

En logique mathématique, un ensemble de termes définis de manière récursive, dans lequel le premier niveau est l'ensemble de tous les symboles constants et chaque niveau suivant comprend toutes les fonctions appliquées aux termes du niveau précédent.

Dans la logique du premier ordre, une structure de Herbrand S est une structure sur un vocabulaire σ qui est défini uniquement par les propriétés syntaxiques de σ. L'idée est de prendre les symboles des termes comme valeurs, p. ex. la dénotation d'un symbole constant c est juste "c" (le symbole).

Français

Univers de Herbrand

Anglais

Herbrand universe

Sources

Source : Wikipedia, Théorème de Herbrand

Source : Wikipedia

Source : UTexas Artificial Intelligence Vocabulary

@@ Ligne 1 : / Ligne 1 : @@
+== Définition ==
+En logique mathématique, un ensemble de termes définis de manière récursive, dans lequel le premier niveau est l'ensemble de tous les symboles constants et chaque niveau suivant comprend toutes les fonctions appliquées aux termes du niveau précédent.
-== en construction ==
+Dans la logique du premier ordre, une structure de Herbrand S est une structure sur un vocabulaire σ qui est défini uniquement par les propriétés syntaxiques de σ. L'idée est de prendre les symboles des termes comme valeurs, p. ex. la dénotation d'un symbole constant c est juste "c" (le symbole).
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence Artificielle]]
-[[Catégorie:UTexas]]
-== Définition ==
-xxxxxxx
 == Français ==
-xxxxxxx
+'''Univers de Herbrand'''
 == 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.
+==Sources==
+[https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Herbrand  Source : Wikipedia, ''Théorème de Herbrand'']
-<small>
+[https://en.wikipedia.org/wiki/Herbrand_structure   Source : Wikipedia ]
 [https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]