« Satisfiabilité » : différence entre les versions

Version du 21 mai 2019 à 09:33

Domaine

Définition

En logique mathématique, la satisfaisabilité ou satisfiabilité est un concept sémantique où une formule logique est dite satisfaisable s'il est possible de trouver une interprétation où la formule est vraie. Le concept opposé est l'insatisfaisabilité où une formule est insatisfaisable si aucune de ses interprétations n’est vraie.

Français

satisfaisabilité n.f.

satisfiabilité n.f.

Anglais

Satisfiability

Source : wikipedia

Source : Hugel, T. (2010). Estimations de satisfaisabilité (Thèse de doctorat, Université Paris-Diderot-Paris VII)

@@ Ligne 3 : / Ligne 3 : @@
 [[Category:Vocabulaire]]
 [[Category:Intelligence artificielle]]
-Intelligence artificielle<br />
+[[Category:Coulombe2]]
-[[Category:Coulombe]]
+[[Category:scotty2]]
-<br />
+[[Category:GRAND LEXIQUE FRANÇAIS]]
-[[Category:scotty]]
-[[Category:9]]
 ==Définition==
@@ Ligne 13 : / Ligne 11 : @@
-==Français>>>>>>>>>>>>redirection==
+==Français==
 ''' satisfaisabilité'''  n.f.
@@ Ligne 24 : / Ligne 22 : @@
 '''Satisfiability '''
-<br />
-<br />
 [https://fr.wikipedia.org/wiki/Satisfaisabilit%C3%A9 Source : wikipedia]
-<br />
 [https://tel.archives-ouvertes.fr/tel-00582571/document Source :  Hugel, T. (2010). Estimations de satisfaisabilité (Thèse de doctorat, Université Paris-Diderot-Paris VII)]
 <br />
 <br />