Sumários

Teorema de Myhill

17 Dezembro 2008, 14:30 Amilcar Sernadas

Lema técnico sobre produtividade. Teorema de Myhill: equivalência entre criatividade e completude-m.


Redutibilidade

17 Dezembro 2008, 09:30 Jaime Ramos

Exercícios sobre redutibilidade.


Construção de Post

16 Dezembro 2008, 15:30 Amilcar Sernadas

Construção de Post: existência de conjunto simples. Existência de conjunto listável não decidível que não é completo-m.


Completude-m (conc)

10 Dezembro 2008, 14:30 Amilcar Sernadas

Resultados fundamentais sobre completude-m versus não listabilidade efectiva.

Motivação da construção de Post.


Computabilidade à Kleene

10 Dezembro 2008, 09:30 Jaime Ramos

Exercícios sobre computabilidade à Kleene.