Sumários
T11_21
28 Novembro 2023, 10:30 • Mário Jorge Edmundo
tt-satisfazibilidade e tt-consequência, tt-satisfazibilidade e tautologia; literias e cláusulas; fórmulas de Horn, formal condicional de uma fórmula de Horn; algoritmo de satisfação de Horn; exemplo; prolog; algoritmo da resolução para a tt-satisfazibilidade; exemplos.
TP11_20
28 Novembro 2023, 08:00 • Mário Jorge Edmundo
Resolução dos exercícios 137, 139, 140, 141 e 142.
TP12: Fórmulas e quantificadores.
27 Novembro 2023, 12:00 • Mário João de Jesus Branco
TP14: Consequência lógica, fórmulas e quantificadores.
24 Novembro 2023, 11:30 • Mário João de Jesus Branco
Exerc. 64(5), 103 e 106(1)-(7).