AT11 - Teorema de Rogers

22 outubro 2013, 11:00 • Amilcar Sernadas

Categoria das funções binárias com morfismos de tradução computável: epimorfismos, monomorfismos e isomorfismos; não existência de objectos finais.
Teorema de Rogers: isomorfismo entre funções universais próprias e entre conjuntos universais próprios. Aplicação: todo o conjunto universal próprio é domínio de função universal própria.
Motivação e ilustração das noções de operador computável e de oráculo.

AP10 Teoremas principais

17 outubro 2013, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios sobre o teorema de Rice-Shapiro-McNaughton-Myhill.

AT10 - Geração ilimitada de índices

17 outubro 2013, 11:30 • Amilcar Sernadas

Geração efectiva de conjunto infinito de índices de função computável (conclusão da aula anterior). Gerador universal de índices de funções computáveis.
Categoria das funções binárias com morfismos de tradução computável.

AP09 Teoremas principais

15 outubro 2013, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios de aplicação dos Teoremas de Rice e Rice-Shapiro.

AT09 - Teorema de Rice-Shapiro-McNaughton-Myhill

15 outubro 2013, 11:00 • Amilcar Sernadas

Função computável universal para a classe das funções finitas (conclusão da aula anterior). 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 (início da demonstração).