Sumários
T11_23
12 Dezembro 2023, 10:30 • Mário Jorge Edmundo
Exemplos do algoritmo da resolução para a satisfazibilidade; indicações sobre o mini-teste 2 e esclarecimento de dúvidas.
TP11_23
12 Dezembro 2023, 08:00 • Mário Jorge Edmundo
Resolução dos exercícios 84, 85, 87 (1,3), 91, 93 (1,3).
TP12: Algoritmo de satisfação de Horn e algoritmo de resolução.
11 Dezembro 2023, 12:00 • Mário João de Jesus Branco
Exerc. 84, 87(1), (2), 91, 92 e 93(1).