: Mathematics: théorie des modèles

logique mathématique > théorie des modèles

théorie des modèles

La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_mod%C3%A8les)

http://data.loterre.fr/ark:/67375/PSR-P7KW6098-P

RDF/XML TURTLE JSON-LD Created 7/28/23, last modified 7/28/23

Loterre