Il lemma decidìbile
Definizioni
Definizione di Treccani
decidìbile
agg. [der. di decidere]. –
1. che può essere deciso, cioè risolto, stabilito, determinato.
2. in logica matematica, determinabile per mezzo di un giudizio, di una decisione: in partic., una teoria formalizzata si dice decidibile se e solo se esiste un procedimento per accertare in un numero finito di passi se una qualsiasi formula è o no un teorema della teoria; un insieme i contenuto nell’insieme u si dice decidibile se e solo se esiste un procedimento per accertare in un numero finito di passi se un elemento qualsiasi di u appartiene o no ad i.
Leggi su
Treccani...
Definizione di Hoepli
decidibile
[de-ci-dì-bi-le]
mat che può essere dimostrato
Leggi su Hoepli...
Definizione di Garzanti linguistica
decidibile
[de-ci-dì-bi-le]
pl. -i
(mat.) si dice di ogni insieme di enti per cui esista un algoritmo tale che, comunque preso un elemento dell’universo del discorso in cui è definito l’insieme, determini se quell’elemento appartiene o no all’insieme dato
Leggi su
Garzanti linguistica...
Etimologia
← deriv. di decidere.
Termini vicini
decìdere decibel dechinare decèsso decespugliatóre decerebrazióne decerebrato decerebrare decerebellazióne decerato decènza decentrare decentraménto decentraliżżare decènte decènnio decènne decennale decemviro decemvirato decemvirale decelerazióne deceleratóre decelerare decèdere decauville decatlèta decatiżżare decatissàggio dècathlon decìdua decidüale decìduo decifràbile decifrare decigrammo decile decìlitro dècima decimale decimare decimazióne decìmetro decimillèṡimo decimillìmetro dècimo decina deciṡionale deciṡióne deciṡionismo deciṡionista deciṡionìstico deciṡivo deciṡo decisore deciṡòrio deck declamare declamatóre declamatòrio