Sumários

Decidibilidade

6 Dezembro 2016, 09:30 Ana Respicio

A_TM é indecidível. Prova.


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

5 Dezembro 2016, 08:00 Alexandre Miguel dos Santos Martins Pinto

Folha 8:

Exercícios 4, 5, 7, 8.


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

2 Dezembro 2016, 11:30 Alexandre Miguel dos Santos Martins Pinto

Folha 8:

Exercícios 4, 5, 7, 8.


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

2 Dezembro 2016, 08:00 Alexandre Miguel dos Santos Martins Pinto

Folha 8:

Exercícios 4, 5, 7, 8.


Indecidibilidade

30 Novembro 2016, 09:30 Ana Respicio

Conjuntos contáveis. O conjunto dos pares positivos é contável. Os racionais são contáveis.Definição de correspondência. Técnica da diagonalização. O conjunto dos reais não é contável.