Sumários
AT14 Operadores
2 novembro 2017, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Todo o operador computável é monótono. Condição suficiente para a igualdade de dois operadores. Teorema de Myhill_Shepherdson.
AP13 Operadores
31 outubro 2017, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exemplo de operador não monótono. Caracterizações alternativas de operador monótono e de operador finitário. Exemplo de operador monótono
e não finitário. Exemplo de operador não computável.
AT13 Operadores
31 outubro 2017, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Operadores de F_1 para F_1. Operador finitário e operador monótono. Todo o operador finitário é monótono. Operador computável. Exemplo do operador de minimização.
Exercícios sobre funções universais, conjuntos listáveis não decidíveis e conjuntos não listáveis, indexação de conjuntos listáveis, teorema de Rice, teorema de Rice-Shapiro.
26 outubro 2017, 14:30 • João Rasga
Resolução de exercícios sobre: funções universais; conjuntos listáveis não decidíveis e conjuntos não listáveis; indexação de conjuntos listáveis; teorema de Rice; teorema de Rice-Shapiro.
AT12 Teorema de Rogers
26 outubro 2017, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Categoria das funlçoes computáveis unárias. Caracterização das funções universais próprias como proto-finais. Impossibilidade de
objectos finais.