Sumários

12 Dezembro 2022, 12:00 • Mário Jorge Edmundo

Resolução dos exercícios 161, 168 e 169.

9 Dezembro 2022, 11:30 • Mário Jorge Edmundo

Resolução dos exercícios 91, 92 e 93.

9 Dezembro 2022, 09:30 • Mário Jorge Edmundo

Resolução dos exercícios 91, 92 e 93 para a TP12.

7 Dezembro 2022, 09:30 • Mário Jorge Edmundo

Resolução dos exercícios 84, 85, 87.

6 Dezembro 2022, 10:30 • Mário Jorge Edmundo

Mais exemplos do algoritmo da Horn, do algoritmo da resolução para a tt-satisfazibilidade e do algoritmo da resolução para a satisfazibilidade.