T_2

26 Fevereiro 2025, 09:30 • Mário Jorge Edmundo

Linguagem de primeira ordem, termos, fórmulas atómicas, fórmulas, variáveis que ocorrem livres. Interpretação de um termo, exemplos, variáveis e interpretações de termos; definição de verdade de Tarski, exemplos, variáveis e verdade.  Discussão e resolução de alguns exercícios. 

---

T_1

19 Fevereiro 2025, 09:30 • Mário Jorge Edmundo

Apresentação, indicações sobre a avaliação. Estruturas, tipo de uma estrutura, exemplos. Homomorfismos, mergulhos e isomorfismos, exemplos. Sub-estrutura, domínio de uma sub-estrutura, sub-estrutura gerada por um conjunto, Löwenheim-Skolem para baixo, versão fraca.

---