Sumários

AP03 Conjuntos decidíveis e listáveis

24 setembro 2013, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios sobre conjuntos decidíveis e listáveis.

AT03 - Listabilidade (conc) e problemas de decisão

24 setembro 2013, 11:00 • Amilcar Sernadas

Teorema da projecção. Teorema do grafo. Listabilidade da imagem inversa por função computável de conjunto listável. Noção de problema de decisão. Decidibilidade e semidecidibilidade de problemas. Noção de redução.

AP02 Funções computáveis e conjuntos decidíveis

19 setembro 2013, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios sobre funções computáveis e conjuntos decidíveis.

AT02 - Listabilidade

19 setembro 2013, 11:30 • Amilcar Sernadas

Conjuntos W-listáveis. Conjuntos listáveis. Listabilidade de conjunto decidível. Teorema de Post. Listabilidade da imagem de conjunto listável por função computável. Enumeração computável injectiva de conjunto listável infinito. Critérios de listabilidade - domínio de função computável, contradomínio de função computável e computabilidade da função característica

AP01 Conceitos e resultados básicos

17 setembro 2013, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios sobre universo de computação e áreas e sobre funções computáveis.