Sumários
TP12: Fórmulas e quantificadores: demonstrações formais; algoritmo de satisfação de Horn.
7 Dezembro 2023, 10:30 • Mário João de Jesus Branco
Exerc. 148(3), 154 e 85.
TP14: Fórmulas e quantificadores: consequência lógica e demonstrações formais.
6 Dezembro 2023, 09:30 • Mário João de Jesus Branco
Exerc. 108, 117, 118, 137 e 148(1).
T11_22
5 Dezembro 2023, 10:30 • Mário Jorge Edmundo
Satisfazibilidade e consequência lógica, satisfazibilidade e verdade lógica; substituições, unificador, unificador mais geral e algoritmo do unificação; exemplos; forma normal clausal; algoritmo da resolução para a satisfazibilidade; exemplo.