Ferramentas do usuário
dica:ordemenum
Mostre por indução sobre $n$ que o conjunto das funções com domínio de tamanho exatamente $n$ é enumerável.
dica/ordemenum.txt · Última modificação: 2020/11/06 16:05 (edição externa)
Ferramentas da página
Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
