Skip to content
EntityQ523607· pop 17· linked from 420 articles

interprètation

Sign in to save

Also 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