décidabilité
Définition
Exemples
Phrases avec le mot décidabilité
Dans les différentes cliniques, ce qui opère est l'actualisation de cette potentialité létale qui inscrit l'un et l'autre dans une contrainte de décidabilité entre vie et anéantissement.Connexions, 2017, Bernard Duez (Cairn.info)
La transparence se traduit au niveau du calcul par les trois méta-propriétés suivantes : la non-contradiction, la complétude et la décidabilité.Philosophia Scientiæ, 2016, Nada Feghaly (Cairn.info)
Le degré de cohésion des partis peut constituer un exemple des conditions de cette décidabilité.Revue internationale de politique comparée, 2007, Nicolas Sauger (Cairn.info)
Le plan opératoire – traduit par la perte de la décidabilité – n'est pas à vrai dire l'élément décisif qui sépare la logique des mathématiques.Philosophia Scientiæ, 2016, Nada Feghaly (Cairn.info)
Leur attitude implique beaucoup plus qu'un simple refus des procédures politiques, elles mettent la décidabilité politique elle-même en question si celle-là se retire sur le domaine politique propre.Revue interdisciplinaire d'études juridiques, 1996, Klaas Tindemans (Cairn.info)
Le calcul propositionnel satisfait aux propriétés de cohérence et de décidabilité, et on lui connaît de multiples systèmes indépendants.Revue économique, 2003, Philippe Mongin (Cairn.info)
Chacun de ces groupes internes apporte une fonction de décidabilité au prix d'un renoncement pulsionnel.Adolescence, 2005, Bernard Duez (Cairn.info)
Il est conçu pour accomplir un dessein bien particulier et il est construit de manière à éviter les pièges de l'intuition et pour s'accomplir dans la non-contradiction et la décidabilité.Revue internationale de philosophie, 2006, Denis Méville (Cairn.info)
L'informatique, d'une certaine façon, poursuit la démarche axiomatique en introduisant un principe opératoire de décidabilité inspiré de la logique formelle 0/1.Revue de psychothérapie psychanalytique de groupe, 2018, Bernard Duez (Cairn.info)
Dans cette axiomatique subjective, c'est en termes de choix que la question se pose et donc de situer la discordance vis-à-vis de la décidabilité.Che vuoi ?, 2006, René Lew (Cairn.info)
À propos d'un système formel quelconque, on peut poser les questions classiques de la cohérence (ou consistance), de l'indépendance, et de la décidabilité.Revue économique, 2003, Philippe Mongin (Cairn.info)
La décidabilité de la compétition, tout d'abord, renvoie à la prévisibilité des conséquences, en termes d'occupation des postes institutionnels et de décision publique, des résultats de la compétition.Revue internationale de politique comparée, 2007, Nicolas Sauger (Cairn.info)
Dans les deux cas, le critère retenu tient aux caractéristiques de ces formalismes qui répondent à des scénarios d'usage précis, où la décidabilité joue un rôle important.Cahiers philosophiques, 2015, Alexandre Monnin (Cairn.info)
Enfin, la décidabilité correspond au niveau d'adhésion des électeurs aux programmes électoraux des partis en compétition.Revue française de science politique, 2004 (Cairn.info)
Pour une mathématique orientée de manière purement déductive, c'est la décidabilité qui passe au second plan.Philosophie, 2018, Vincent Gérard (Cairn.info)
Le résultat de décidabilité le met à part – avec certains systèmes apparentés – de la plupart des systèmes formels connus.Revue économique, 2003, Philippe Mongin (Cairn.info)
Pourtant, il existe des procédures qui établissent la décidabilité de certaines formules de cette logique, notamment dans le cas du calcul des prédicats monadiques.Philosophia Scientiæ, 2016, Nada Feghaly (Cairn.info)
Afficher toutRéduire
Ces exemples proviennent de sites partenaires externes. Ils sont
sélectionnés automatiquement et ne font pas l’objet d’une relecture par
les équipes du Robert.
En savoir plus.
