Sumários
Aula Práctica 3 - Lógica de Primeira Ordem
6 dezembro 2022, 09:30 • Joana Campos
- Exercicios das folhas Aula 3 (exercicios das práticas)
- Dedução Natural
Lógica de 1º ordem e Programação em lógica
5 dezembro 2022, 10:00 • Ana Paiva
Fim da secção de resolução (Secção 5.2).
Lógica de 1º ordem e Programação em lógica
5 dezembro 2022, 08:00 • Ana Paiva
Fim da secção de resolução (Secção 5.2).
Aula Prática 2 - Logica Proposicional (Resolução) + MAP 1
2 dezembro 2022, 12:00 • Marcelo Mouta
- Exercicios de Lógica Propocisional das folhas de exercicios (Aula 2 das práticas):
- 3.1.1 a)
- 3.1.2 c) direta + absurdo, a), e)
- MAP 1
Aula2
2 dezembro 2022, 12:00 • Vasco Filipe Oliveira Rocha
Realização da segunda ficha e primeiro MAP.