structure
Sign in to saveAlso known as finitary structure
en logique mathématique, ensemble muni de fonctions et de relations définies sur cet ensemble
Wikidata facts
Show 4 more facts
- studied by
- universal algebra
- maintained by WikiProject
- WikiProject Mathematics
- underlying structure
- set
- has characteristic
- signature
Sources (1)
via Wikidata · CC0
Article · Français
En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble. 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 ). La sémantique de la logique du premier ordre se définit dans une structure.
Abstract from DBpedia / Wikipedia · CC BY-SA