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
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