La langue française

Satisfiabilité

Définitions du mot « satisfiabilité »

Wiktionnaire

Nom commun

satisfiabilité \sa.tis.fja.bi.li.te\ féminin

  1. (Logique) En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie.
Wiktionnaire - licence Creative Commons attribution partage à l’identique 3.0

Phonétique du mot « satisfiabilité »

Mot Phonétique (Alphabet Phonétique International) Prononciation
satisfiabilité satisfjabilite

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
Source : Google Translate API

Satisfiabilité

Retour au sommaire ➦

Partager