Decidibilidade, reduções, conjuntos não-contáveis

6 Dezembro 2016, 11:00 Alexandre Miguel dos Santos Martins Pinto

Folha 8:

Exercícios 4, 5, 7, 8.