Sumários

T_2a

27 Setembro 2022, 11:30 • Mário Jorge Edmundo

Linguagens de primeira ordem, termos, fórmulas atómicas, fórmulas, variáveis livres, exemplos; interpretação de um termos, exemplos, variáveis e interpretações de termos; definição de verdade de Tarski, exemplos, variáveis e verdade.

T_1b

21 Setembro 2022, 15:00 • Mário Jorge Edmundo

Não houve aula (aula dedicada à discussão de exercícios).

T_1a

20 Setembro 2022, 11:30 • Mário Jorge Edmundo

Apresentação do docente. Informações sobre a u.c.: recursos de aprendizagem, discussão sobre a avaliação.

Estruturas, exemplos; homomorfismos, mergulhos, isomorfismos, exemplos; Sub-estruturas, exemplos, domínio de uma sub-estrutura, sub-estrutura gerada por um conjunto; Lowenheim-Skolem para baixo versão fraca.