Sumários

AP01 - Noções básicas

23 setembro 2009, 09:30 Jaime Ramos

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


AT04 - Problemas de decisão e Gõdelizações

22 setembro 2009, 15:30 Amilcar Sernadas

Conclusão da aula anterior: 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.

Noção e principais propriedades das Gõdelizações.


AT03 - Critérios de listabilidade

17 setembro 2009, 16:00 Amilcar Sernadas

Existência de enumeração 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.

(Aula leccionada por Jaime Ramos por impedimento do professor responsável)


AT02 - Decidibilidade e listabilidade de conjuntos

16 setembro 2009, 09:30 Amilcar Sernadas

Conjuntos W-decidíveis. Conjuntos decidíveis. Decidibilidade da imagem inversa de conjunto decidível por função computável com domínio decidível. 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.

AULA EXTRAORDINÁRIA DE SUBSTITUIÇÃO DA AULA TEÓRICA DE QUINTA-FEIRA 24/09/2009 QUE FOI CANCELADA A PEDIDO DO DELEGADO DE ANO POR CAUSA DA RECEPÇÃO AOS CALOIROS.


Não houve aula

16 setembro 2009, 09:30 Jaime Ramos

As aulas práticas começam no dia 23 de Setembro.