AT03 - Critérios de listabilidade

21 setembro 2010, 15:30 • Amilcar Sernadas

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. Teorema da projecção. Teorema do grafo.  Listabilidade da imagem inversa por função computável de conjunto listável.