La langue française

Accueil > Dictionnaire > Définitions du mot « décidabilité »

Décidabilité

[desidabilite]
Ecouter

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


Sources et ressources complémentaires

SOMMAIRE

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.