Commune
Structure (logique mathématique)
en logique mathématique, ensemble muni de fonctions et de relations définies sur cet ensemble
Structure (logique mathématique)
En logique mathématique, plus précisément en théorie des modèles, une structure est un triplet mettant en relation: les symboles d'un langage aux éléments d'un ensemble via une fonction d'interprétation. Les structures usuelles de l'algèbre sont des structures en ce sens. On utilise également le mot modèle comme synonyme de structure (voir Note sur l'utilisation du mot modèle). La sémantique de la logique du premier ordre se définit dans une structure.
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement