« Satisfiabilité » : différence entre les versions


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(22 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
==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.


== Domaine ==
==Français==
[[Category:Vocabulaire]]
''' satisfaisabilité'''   
[[Category:Intelligence artificielle]]Intelligence artificielle<br/>
[[Category:Coulombe]]<br/>
[[Category:scotty]]


== Définition ==
''' satisfiabilité   '''  
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.


==Anglais==


== Français ==
'''Satisfiability '''


''' satisfaisabilité'''
==Sources==


''' satisfiabilité '''


[https://fr.wikipedia.org/wiki/Satisfaisabilit%C3%A9 Source: Wikipedia, ''Satifaisabilité''.]


== Anglais ==
[https://tel.archives-ouvertes.fr/tel-00582571/document Source :  Hugel, T. (2010). Estimations de satisfaisabilité (Thèse de doctorat, Université Paris-Diderot-Paris VII)]


'''Satisfiability '''


<br/>
[[Category:Intelligence artificielle]]
<br/>
[[Category:GRAND LEXIQUE FRANÇAIS]]
[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/>

Dernière version du 28 janvier 2024 à 12:30

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é

satisfiabilité

Anglais

Satisfiability

Sources

Source: Wikipedia, Satifaisabilité.

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

Récupérée de « https://datafranca.org/wiki/index.php?title=Satisfiabilité&oldid=92201 »

Contributeurs: Claude Coulombe, Jacques Barolet, wiki