Sumários
AT05 Universalidade e indecidibilidade
29 setembro 2015, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conjuntos listáveis mas não decidíveis. Indecidibildade de problemas: o problema da paragem. Indexação de funções computáveis.
P04 Funções universais
24 setembro 2015, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre listabilidade de conjuntos e funções universais.
AT04 Funções universais
24 setembro 2015, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da aula anterior. Secção de função binária. Função universal. Função univ.
AP03 Conceitos básicos
22 setembro 2015, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre conjuntos listáveis e decidíveis
AT03 Conceitos básicos
22 setembro 2015, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Continuação da análise das propriedades de conjuntos listável. 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.