Sumários

Exercícios

15 Dezembro 2025, 13:00 Maria Adriana Sequeira da Silva Graça

Exercícios diversos de preparação para o segundo teste. 


Gestão da Avaliação - 4

15 Dezembro 2025, 09:00 António José Teiga Zilhão

Resolução de exercícios no âmbito dos módulos III. e IV. do programa (preparação para o teste escrito).


[alunos ausentes]

11 Dezembro 2025, 13:00 Maria Adriana Sequeira da Silva Graça

[alunos ausentes]

Por motivo de greve geral.


IV. Lógica de Predicados - 8

11 Dezembro 2025, 09:00 António José Teiga Zilhão

Resolução de exercícios no âmbito do Cálculo de Predicados.


Interpretações

10 Dezembro 2025, 13:00 Maria Adriana Sequeira da Silva Graça

Semântica do Cálculo de Predicados: prova de invalidade de argumentos por meio de interpretações.