Concept information
Terme préférentiel
théorie des modèles
Définition
-
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)
Concept générique
Concepts spécifiques
Traductions
-
anglais
URI
http://data.loterre.fr/ark:/67375/PSR-P7KW6098-P
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}