Sémantique algébrique (informatique) - En informatique, la sémantique algébrique est une forme de sémantique axiomatique basée sur des principes algébriques pour décrire et raisonner sur la sémantique des langages de programmation de manière formelle.
Trouvé sur
https://fr.wikipedia.org/wiki/Sémantique_algébrique_(informatique)
Sémantique algébrique (logique mathématique) - En logique mathématique, la sémantique algébrique est une sémantique formelle basé sur les algèbres étudiés dans le cadre de la logique algébrique. Par exemple, la logique modale S4 se caractérise par la classe des algèbres booléenne...
Trouvé sur
https://fr.wikipedia.org/wiki/Sémantique_algébrique_(logique_mathématiqu
Aucun résultat n’a été trouvé dans l’encyclopédie.
