Informatique Interprétation mathématique de programmes informatiques, mettant en liaison leurs différents paramètres.
Exemple : La sémantique formelle peut être comparée à la linguistique, appliquée au langage des programmes informatiques.
Trouvé sur
https://www.linternaute.fr/dictionnaire/fr/definition/semantique-formelle/
En linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l`environnement supportant un discours faisant ...
Trouvé sur
https://fr.wikipedia.org/wiki/Sémantique_formelle
En logique, la sémantique de la logique est l`étude de la sémantique, ou l`interprétations, des langages formels et naturels qui, en général, tentent de saisir la notion pré-théorique de déduction.
Trouvé sur
https://fr.wikipedia.org/wiki/Sémantique_formelle_(logique)
Aucun résultat n’a été trouvé dans l’encyclopédie.
