Sumários
AT10 Teorema de Rice-Shapiro-McNaughton Myhill
15 outubro 2015, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da demonstração do Teorema de Rice-Shapiro. Função universal para o conjunto de funções computáveis finitas. Teorema de Rice-Shapiro-McNaughton Myhill.
AP09 Teorema de Rice-Shapiro
13 outubro 2015, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios de verificação de não listabilidade de conjunto de índices recorrendo ao Teorema de Rice-Shapiro.
AT09 Teorema de Rice-Shapiro
13 outubro 2015, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Preliminares. Teorema de Rice-Shapiro.
AP08 Teorema de Rice
8 outubro 2015, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre conjuntos universais próprios e sobre o Teorema de Rice.
AT08 Teorema de Rice
8 outubro 2015, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da aula anterior. Noção de sucessão computável de conjuntos
listáveis. Teorema de Rice.