Universalidade (cont)

22 outubro 2008, 09:30 • Jaime Ramos

Exercícios sobre funções universais e conjuntos universais.

Teorema de Rice-Shapiro

21 outubro 2008, 15:30 • Amilcar Sernadas

Conclusão da aula anterior.

Teorema de Rice-Shapiro, corolários e exemplos de aplicação.

Teorema de Rice

15 outubro 2008, 14:30 • Amilcar Sernadas

Conclusão da aula anterior. Não decidibilidade do conjunto de índices da função vazia. Não listabilidade do mesmo conjunto. Teorema de Rice e aplicações.

Universalidade

15 outubro 2008, 09:30 • Jaime Ramos

Exercícios sobre funções universais e funções universais próprias.

Utilização da propriedade s-m-n

14 outubro 2008, 15:30 • Amilcar Sernadas

Transposição de operações sobre funções computáveis para operações sobre índices. Noção de sucessão computável de funções computáveis. Existência de conjuntos universais próprios. Índices de conjuntos listávies. Transposição de operações sobre conjuntos listáveis para operações sobre índices. Noção de sucessão listável (ou computável) de conjuntos listáveis. Existência de par de conjuntos listáveis mas não separáveis por conjunto decidível.