Definizioni di decidibile

aggettivo (matematica) 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.



Novità: ricerca direttamente dal browser > installa l' estensione per Chrome