La langue française

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

Décidable

Définitions de « décidable »

Wiktionnaire

Adjectif - français

décidable \de.si.dabl\ masculin et féminin identiques

  1. (Mathématiques) Dont on peut décider l’existence, les propriétés.
    • Une proposition, un énoncé, sont dits décidables dans une théorie axiomatique, si on peut les démontrer ou en démontrer la négation dans le cadre de cette théorie.
  2. (Informatique) Que l'on peut résoudre par un algorithme donné avec un nombre fini d'étapes.
Wiktionnaire - licence Creative Commons attribution partage à l’identique 3.0

Étymologie de « décidable »

De décider avec le suffixe adjectival -able.
Wiktionnaire - licence Creative Commons attribution partage à l’identique 3.0

Phonétique du mot « décidable »

Mot Phonétique (Alphabet Phonétique International) Prononciation
décidable desidabl

Évolution historique de l’usage du mot « décidable »

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 « décidable »

  • Le théorème d'incomplétude de Gödel (photo) démontre que la plupart des systèmes formels peuvent formuler des énoncés corrects qui ne sont ni démontrables ni infirma-bles dans le système : des énoncés "indécidables". Science-et-vie.com, L'I.A. se prend le mur de Gödel - Science & Vie
  • Dans notre domaine, nous considérons ce type de problème comme «décidable». Toutefois, nombre de problèmes en science informatique ne sont pas décidables, ce qui signifie qu’il n’existe dans le monde aucun programme informatique, ni aujourd’hui ni même dans le futur, capable de calculer toujours une réponse correcte (quel que soit le temps investi). Cela produit soit des réponses erronées, soit une exécution sans fin du programme – ce qui se traduit par un «plantage» du système. Le Temps, «Cette phrase est fausse» - Le Temps
  • Une fois que vous avez reçu la refonte, vous remarquerez que la barre de recherche toujours accessible en haut a été supprimée, laissant la place à un simple en-tête “Google Photos” qui perd également le menu hamburger. Cette barre supérieure est suivie par la section Souvenirs familière et vos images les plus récentes ci-dessous. Avec le menu hamburger et la barre de recherche disparus, la barre inférieure a vu un réarrangement. Il a augmenté son nombre d’éléments de quatre à cinq, à savoir Photos, Recherche, Pour vous, Partage et Bibliothèque. Cela signifie que vous devez vous diriger vers un autre onglet pour rechercher vos images, ce qui est une accentuation décidable de la fonctionnalité. Breakingnews.fr, La refonte de Google Photos masque la recherche dans l'onglet inférieur et supprime le menu hamburger (mise à jour: plus de captures d'écran)
  • A noter qu’un problème “décidable”, c’est à dire qui requiert d’explorer un espace fini d’options, n’est pas forcément faisable d’un point de vue pratique. Même s’il peut être résolu en un temps fini, sa résolution peut prendre un temps trop long. Un problème exponentiel a une solution élégante si on peut en trouver une qui ait une durée polynomiale voir, dans le meilleur des cas, linéaire. Les temps polynomiaux scalent mieux que les temps exponentiels ! FrenchWeb.fr, Comprendre l’informatique quantique – complexité - FrenchWeb.fr
  • Tant que l’on dit « taxe sur le carbone», on sait qu’on peut accorder ainsi: «des taxes sur le carbone», et s’il existe plusieurs carbones: «des taxes sur les carbones». Quant à savoir si l’on doit écrire «des taxe carbone» ou «des taxes carbones», c’est indécidable, puisque la tournure n’est pas correcte. Alors, l’accord, on s’en tape. Bibliobs, Faut-il écrire "jeux vidéo" ou "jeux vidéos" ?

Traductions du mot « décidable »

Langue Traduction
Anglais decidable
Espagnol decidible
Italien decidibile
Allemand entscheidbar
Chinois 可决定的
Arabe قابل للحسم
Portugais decidível
Russe разрешима
Japonais 決定的な
Basque decidable
Corse decisu
Source : Google Translate API

Synonymes de « décidable »

Source : synonymes de décidable sur lebonsynonyme.fr

Décidable

Retour au sommaire ➦

Partager