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]
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.