Sumários
TP13_20 (por videoconferência no Zoom)
5 Janeiro 2022, 08:00 • Mário Jorge Edmundo
Resolução dos exercícios 137, 139, 140, 141 e 142.
T_20 (por videoconferência no Zoom)
4 Janeiro 2022, 10:30 • Mário Jorge Edmundo
Nota sobre tt-satisfazibilidade e tt-consequência e tt-satisfazibilidade e tautologia; literais e cláusulas; Fórmulas de Horn e forma condicional; Algoritmo de satisfação de Horn, exemplo, Prolog. Algoritmo de resolução para a tt-satisfazibilidade, exemplos.
TP11_20 (por videoconferência no Zoom)
4 Janeiro 2022, 08:00 • Mário Jorge Edmundo
Resolução dos exercícios 168 (conclusão) e 169.
Traduções com quantificadores (continuação). Formas normais Prenexas
3 Janeiro 2022, 12:00 • Maria João Antunes Dias Gouveia
Correcção dos exercícios 127 (alíneas pares) e 161 (alíneas ímpares).
TP13_19 (por videoconferência no Zoom)
3 Janeiro 2022, 08:00 • Mário Jorge Edmundo
Resolução dos exercícios 168 e 169.