Sumários
Programação em lógica.
9 dezembro 2022, 09:30 • Ana Paiva
Programação em lógica. Cap 6. Seções 6.1, 6.2, 6.3, 6.4.
Aula Prática 4 - Lógica de Primeira Ordem (resolução) + MAP 2
9 dezembro 2022, 09:00 • Marcelo Mouta
Exercícios das folhas (Aula 4) Lógica de primeira ordem:
- Forma Causal: 5.2.1 d);
- Unificação: 5.2.2 c)
- Resolução: 5.2.3 c)
MAP 2
- Lógica de primeira ordem - dedução natural
- Lógica de primeira ordem- resolução
Aula4
9 dezembro 2022, 09:00 • Vasco Filipe Oliveira Rocha
Realização da quarta ficha e segundo MAP.
Programação em Lógica.
9 dezembro 2022, 08:00 • Ana Paiva
Programação em lógica. Cap 6. Seções 6.1, 6.2, 6.3, 6.4.
Aula Prática 3 - Lógica de Primeira Ordem
7 dezembro 2022, 10:00 • Rui Orlando Magalhães Ribeiro
- Exercicios das folhas Aula 3 (exercicios das práticas)
- Dedução Natural