Accueil > Dictionnaire > Définitions du mot « décidabilité »
Décidabilité
[desidabilite]
Définitions de « décidabilité »
Décidabilité - Nom commun
-
(Mathématiques, Informatique) Qualité d'un problème qui peut être résolu par une procédure ou un algorithme en un nombre fini d'étapes.
La première est celle de la décidabilité logique ou théorique : ce problème, est-il soluble ?
— Nicolas Flasque, Helen Kassel
Étymologie de « décidabilité »
Du décidable du XIXe siècle, avec le suffixe -ité.Usage du mot « décidabilité »
Évolution historique de l’usage du mot « décidabilité » depuis 1800
Fréquence d'apparition du mot « décidabilité » dans le journal Le Monde depuis 1945
Source : Gallicagram. Créé par Benjamin Azoulay et Benoît de Courson, Gallicagram représente graphiquement l’évolution au cours du temps de la fréquence d’apparition d’un ou plusieurs syntagmes dans les corpus numérisés de Gallica et de beaucoup d’autres bibliothèques.
Citations contenant le mot « décidabilité »
-
Ptete qu’on risque de tomber sur des problèmes de décidabilité par contre : https://www.cs.ox.ac.uk/boris.motik/pubs/motik07metamodeling-journal.pdf
Owlready : un module Python pour manipuler les ontologies OWL - LinuxFr.org -
Je ne sais pas pourquoi vous faites assez inquiétante sur Turing qui a l’air d’être un autre de vos gourous. Le test de Turing n’a juste rien à voir avec une application concrète d’IA. C’est un test de décidabilité.
Oumma — Les « mirages scientifiques » du Coran -
Ceci dit, pour être cohérent, il faudrait aussi éviter de dire d'énormes âneries sur des concepts élémentaires d'informatique ("élémentaires" dans le sens "essentiels", pas forcément "simples"). Par exemple, la décidabilité, ça a une définition précise.
Pijul, un nouveau gestionnaire de source - LinuxFr.org -
Après avoir résolu P = NP et la décidabilité de la terminaison de programme, nous avons fini par raccommoder la physique quantique et relativiste.
GNU/Linux a son OCR de qualité - LinuxFr.org
Traductions du mot « décidabilité »
Langue | Traduction |
---|---|
Anglais | decidability |
Espagnol | decidibilidad |
Italien | decidibilità |
Allemand | entscheidbarkeit |
Chinois | 可判定性 |
Arabe | القدرة على اتخاذ القرار |
Portugais | decidibilidade |
Russe | разрешимость |
Japonais | 決定性 |
Basque | decidability |
Corse | decisibilità |