« Univers de Herbrand » : différence entre les versions
m (Pitpitt a déplacé la page Herbrand universe vers Univers de Herbrand) |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
Ligne 2 : | Ligne 2 : | ||
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 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, par ex. la dénotation d'un symbole constant c est juste "c" (le symbole). | 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, par ex. la dénotation d'un symbole constant '''c''' est juste "'''c'''" (le symbole). | ||
== Français == | == Français == |
Version du 1 juin 2020 à 10:37
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, par ex. la dénotation d'un symbole constant c est juste "c" (le symbole).
Français
Univers de Herbrand
Anglais
Herbrand universe
Contributeurs: Imane Meziani, wiki