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