Sumários
T_25
16 Dezembro 2022, 09:30 • Mário Jorge Edmundo
Apresentação de um exame modelo com a indicação dos objectivos pretendidos e alternativas para cada pergunta.
T_24 (por videoconferência no zoom)
13 Dezembro 2022, 10:30 • Mário Jorge Edmundo
Mais exemplos do algoritmo da resolução para a satisfazibilidade (exercícios 148 (1, 2, 5).