AT02 - Listabilidade
19 setembro 2013, 11:30 • Amilcar Sernadas
Conjuntos W-listáveis. Conjuntos listáveis. Listabilidade de conjunto decidível. Teorema de Post. Listabilidade da imagem de conjunto listável por função computável.
Enumeração computável injectiva de conjunto listável infinito.
Critérios de listabilidade - domínio de função computável, contradomínio de função computável e computabilidade da função característica