AT02 - Decidibilidade e listabilidade de conjuntos
16 setembro 2010, 13:00 • Amilcar Sernadas
Conjuntos W-decidíveis. Conjuntos decidíveis. Decidibilidade da imagem inversa de conjunto decidível por função computável com domínio decidível. 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.
Existência de enumeração computável injectiva de conjunto listável infinito.