Sumários
TP14_20 (por videoconferência no Zoom)
7 Janeiro 2022, 11:30 • Mário Jorge Edmundo
Resolução dos exercícios 137, 139, 140, 141 e 142.
T_21 (por videoconferência no Zoom)
7 Janeiro 2022, 09:30 • Mário Jorge Edmundo
Notas sobre satisfazibilidade e consequência lógica e satisfazibilidade e verdade lógica. Substituições, unificador, unificador mais geral, algoritmo da unificação, exemplos. Formal normal clausal. Algoritmo da resolução para a satisfazibilidade, exemplo.
TP11_21 (por video conferência no Zoom)
7 Janeiro 2022, 08:00 • Mário Jorge Edmundo
Resolução dos exercícios 137, 139, 140, 141 e 142.
Formas Normais Prenexas (continuação) e Skolemização
6 Janeiro 2022, 10:30 • Maria João Antunes Dias Gouveia
Resolução dos exercícios 168 e 169.
TP14_19 (por videoconferência no Zoom)
5 Janeiro 2022, 09:30 • Mário Jorge Edmundo
Resolução dos exercícios 168 e 169.