Sumários
AT17 Teorias
23 abril 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Teorema da projecção. Teoria e teoria axiomatizável. Teoria com igualdade.
AP16 Rudimentos de Computabilidade
18 abril 2018, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da aula anterior. União finita de conjuntos listáveis. Condição suficiente para que a união numerável de conjuntos listáveis
seja listável.
AT16 Rudimentos de Computabilidade
18 abril 2018, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conjunto listável. Conjuntos decidíveis versus conjuntos listáveis. Imagem de conjunto listável por função computável.
AP15 Rudimentos de Computabilidade
17 abril 2018, 12:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre funções computáveis e conjuntos decidíveis. Exemplo de aplicação do Teorema da Compacidade na coloração de grafos.
AT15 Rudimentos de Computabilidade
16 abril 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Universo de trabalho. Função parcial. Função computável. Preservação da computabilidade por composição e agregação.
Conjunto decidível.