interprètation
Sign in to saveAlso known as semantic interpretation, interpretation of a formal language
fonction donnant (habituellement) une valeur de vérité aux formules d'un système logique
Wikidata facts
- Subclass of
- function
Show 3 more facts
- maintained by WikiProject
- WikiProject Mathematics
- studied by
- semantics of logic
- uses
- formal language
Sources (1)
via Wikidata · CC0
Article · Français
En logique, une interprétation est une attribution de sens aux symboles d'un langage formel. Les langages formels utilisés en mathématiques, en logique et en informatique théorique ne sont définis dans un premier temps que syntaxiquement ; pour en donner une définition complète, il faut expliquer comment ils fonctionnent et en donner une interprétation. Le domaine de la logique qui donne une interprétation aux langages formels s'appelle la sémantique formelle.
Abstract from DBpedia / Wikipedia · CC BY-SA