grammaticainglese.org

Denizione di  decidable - dizionario di inglese del sito grammaticainglese.org - definizione traduzione e spiegazione grammaticale

Home /dizionario /d /decidable

Definizione monolingua


decidable


Adjective

decidable (comparative more decidable, superlative most decidable)


  1. capable of being decided.
  2. (computer science) describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.
    It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.
  3. (logic) in intuitionistic logic, a proposition P is decidable in a given theory if it can be proven from the theory that ""either P or not P"", i.e. in symbols: .[1]

Definizione dizionario decidable



Altri significati:
  (logic) in intuitionistic logic, a proposition '''P''' is decidable in a given theory if it can be proven from the theory that "either '''P''' or not '''P'''
  (computer science) describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.
  capable of being decided.
  computer science: describing a set
  capable of being decided

Il nostro dizionario è liberamente ispirato al wikidizionario .... The online encyclopedia in which any reasonable person can join us in writing and editing entries on any encyclopedic topic


Statistiche

Nel pannello personale, ogni utente può facilmente tenere traccia di tutti i punti ottenuti negli esercizi. I grafici mostrano in modo chiaro le attività ancora da completare e quanto hai già realizzato!


Vai alla mia dashboard  
Forum
Altre materie

 Supportaci     Chi siamo     Cookies

La possibilità di poter ascoltare l'audio è offerto da ResponsiveVoice-NonCommercial licensed under 95x15

Questo sito è un'idea di Francesco Belloni. This website is licensed under a Creative Commons Attribution - NonCommercial - ShareAlike 3.0 Unported License

P.IVA: 03445490125