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.
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.