Sumários

AT15 Rudimentos de Computabilidade

11 abril 2019, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Alfabeto e universo. Função parcial, domínio e imagem. Função computável. Exemplos. Conjunto decidível.
Preservação da computabilidade por composição.

Teste de MC às 18h30.

AP14 Complementos da completude

8 abril 2019, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Teorema da cardinalidade. Demonstração não construtiva do Teorema da Compacidade.

Os alunos têm teste de EO às 18h30

AT14 Completude

8 abril 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Conclusão da demonstração do Lema Fundamental da Completude. Reduto de estrutura de interpretação a uma assinatura.
Demonstração por contrarecíproco da completude do cálculo de Hilbert. Completude fraca. Toda a fórmula tautológica é
teorema.

Os alunos têm teste de EO às 18h30

AP13 Completude

4 abril 2019, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Correcção da questão 2 do teste A. Demonstração directa (sem ser por contrareciproco) que se uma fórmula é uma tautologia então é um teorema.

AT13 Completude

4 abril 2019, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Lema fundamental da completude.