« 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 : « ↵<small> » par « ==Sources== ») |
||
| (5 versions intermédiaires par 2 utilisateurs non affichées) | |||
| 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. | |||
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 == | == Français == | ||
'''Univers de Herbrand''' | |||
== Anglais == | == Anglais == | ||
'''Herbrand universe''' | '''Herbrand universe''' | ||
==Sources== | |||
[https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Herbrand Source : Wikipedia, ''Théorème de Herbrand''] | |||
[https://en.wikipedia.org/wiki/Herbrand_structure Source : Wikipedia ] | |||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 13: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
Contributeurs: Imane Meziani, wiki
