Accueil > Dictionnaire > Définitions du mot « satisfiabilité »
Satisfiabilité
Sommaire
| Variantes | Singulier | Pluriel |
|---|---|---|
| Féminin | satisfiabilité | satisfiabilités |
Définitions de « satisfiabilité »
Wiktionnaire
Nom commun - français
satisfiabilité \sa.tis.fja.bi.li.te\ féminin
- (Logique) En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie.
Phonétique du mot « satisfiabilité »
| Mot | Phonétique (Alphabet Phonétique International) | Prononciation |
|---|---|---|
| satisfiabilité | satisfjabilite |
Évolution historique de l’usage du mot « satisfiabilité »
Source : Google Books Ngram Viewer, application linguistique permettant d’observer l’évolution au fil du temps du nombre d'occurrences d’un ou de plusieurs mots dans les textes publiés.
Citations contenant le mot « satisfiabilité »
-
La raison de cette petite révolution ? C’est la mise au point par les informaticiens de nouveaux algorithmes très efficaces pour résoudre ces problèmes : les « solveurs SAT ». Dans le langage informatique, SAT signifie « satisfiabilité ». Il s’agit d’un formalisme logique qui capture toute la difficulté d’un problème combinatoire pour tenter ensuite de le satisfaire. Prenez un jeu de Sudoku ou un démineur, ce sont là deux exemples très simples de problèmes qui peuvent être appréhendés et résolus très facilement par ce formalisme.
CNRS Le journal — La plus grosse preuve de l’histoire des mathématiques | CNRS Le journal
Traductions du mot « satisfiabilité »
| Langue | Traduction |
|---|---|
| Anglais | satisfiability |
| Espagnol | satisfacción |
| Italien | soddisfacibilità |
| Allemand | erfüllbarkeit |
| Chinois | 可满足性 |
| Arabe | مرضية |
| Portugais | satisfação |
| Russe | выполнимости |
| Japonais | 満足度 |
| Basque | satisfiability |
| Corse | soddisfazione |
Combien de points fait le mot satisfiabilité au Scrabble ?
Nombre de points du mot satisfiabilité au scrabble : 18 points