Sumários
AT06 - Propriedade s-m-n
3 outubro 2013, 11:30 • Amilcar Sernadas
Propriedade s-m-n. Existência de funções universais próprias. Transposição de operações sobre funções computáveis para operações sobre índices. Noção de sucessão computável de funções computáveis. Existência de conjuntos universais próprios.
AP05 Conjuntos listáveis e funções universais
1 outubro 2013, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre conjuntos decidíveis e listáveis no universo dos naturais e sobre funções universais.
AT05 - Funções universais e suas propriedades
1 outubro 2013, 11:00 • Amilcar Sernadas
Existência de funções universais computáveis. Não existência de aplicação computável universal para a classe das aplicações computáveis. Existência de função computável de que nenhuma função computável é diferente em todos os pontos. Existência de função computável não extensível a aplicação computável. Existência de conjunto listável não decidível. Indecidibilidade do problema da paragem. Índices de funções computáveis.
AP04 Conjuntos decidíveis e listáveis
26 setembro 2013, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre caracterizações de conjuntos decidíveis e listáveis.
AT04 - Gödelizações e computação com números naturais
26 setembro 2013, 11:30 • Amilcar Sernadas
Noção e principais propriedades das Gödelizações.
Justificação do desenvolvimento da teoria da computabilidade no universo dos números naturais. Notação útil. Sumário dos resultados básicos de computabilidade no universo dos números naturais (como corolários dos resultados gerais demonstrados nas aulas anteriores).
Motivação da noção de função universal.