Sumários

AP14 Teorema da Compacidade

11 Abril 2019, 15:30 Maria Cristina De Sales Viana Serôdio Sernadas

Aplicação do Teorema da Compacidade para mostrar o Teorema de de Bruijn e Erdos sobre grafos coloráveis.

Teste de MC às 18h30.


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.