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
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.