Sumários
T21_3
25 Fevereiro 2019, 10:00 • Mário Jorge Edmundo
Linguagens de primeira ordem; termos, interpretação de um termo, variáveis e interpretações de termos; exemplos; fórmulas atómicas, fórmulas, definição de verdade de Tarski.
T21_2
22 Fevereiro 2019, 10:30 • Mário Jorge Edmundo
Sub-estruturas, exemplos; domínio de uma sub-estrutura; sub-estrutura gerada por um subconjunto; Lowenheim-Skolem para baixo versão fraca.
T21_1
18 Fevereiro 2019, 10:00 • Mário Jorge Edmundo
Apresentação do docente e da u.c. Estruturas; homomorfismos, mergulhos e isomorfismos; Exemplos.