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

---

TP13_20

27 Novembro 2023, 08:00 • Mário Jorge Edmundo

---

Resolução dos exercícios 117, 118, 132, 133.

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).