AP09 Funções e Conjuntos Universais Próprios
15 outubro 2019, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Indíces para a intersecção de conjuntos listáveis. Exemplo de função universal que não tem a propriedade smn. Sucessão computável de funções
computáveis unárias.