AP05 Universalidade

11 outubro 2011, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

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

AT09 - Teorema de Rice-Shapiro-McNaughton-Myhill

11 outubro 2011, 11:00 • Amilcar Sernadas

Resolução da Ficha 2.
Função computável universal para a classe das funções finitas. Demonstração e aplicações do teorema de Rice-Shapiro-McNaughton-Myhill.
Geração efectiva de conjunto infinito de índices de função computável.

AT08 - Teorema de Rice-Shapiro

6 outubro 2011, 11:30 • Amilcar Sernadas

Motivação, demonstração e aplicações do teorema de Rice-Shapiro.

Ficha 2.

AP04 Universalidade

4 outubro 2011, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

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

AT07 - Teorema de Rice

4 outubro 2011, 11:00 • Amilcar Sernadas

Conclusão da aula anterior:Existência de par de conjuntos listáveis mas não separáveis por conjunto decidível.
Não decidibilidade do conjunto de índices da função vazia. Não listabilidade do mesmo conjunto. Listabilidade do seu complemento. Teorema de Rice e aplicações.