Sumários

AT12 Operadores

25 outubro 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Operador. Operador monóno e operador finitário. Relação entre ambos. Caracterizações. Função computável relativamente a conjunto de oráculas.
Computabilidade relativa da aplicação característica de K relativamente a um oráculo para a função característica de K~c.

AP11 Teorema de Rice-Shapiro-McNaughton-Myhill

25 outubro 2018, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Verificação de listabilidade de conjuntos de índices e não listabilidade de conjuntos de índices recorrendo ao Teorema RSM^2.

AP10 Teoremas de Rice e de Rice-Shapiro

23 outubro 2018, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Condição necessária e suficiente para que conjunto de índices seja decidével e condição necessária para que conjunto de índices seja listável.

AT11 Teorema de Rice-Shapiro-McNaughton-Myhill

23 outubro 2018, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas

.Enunciado e demonstração do Teorema de Rice-Shapiro-McNaughton-Myhill.

AT10 Teorema de Rice Shapiro

18 outubro 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Teorema de Rice-Shapiro. Função universal para o conjunto das funções finitas.