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.