Sumários

9 Novembro 2017, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 75(2), 77(2), 79, 80, 82(1) e 83(1).
Esclarecimento de dúvidas.

8 Novembro 2017, 09:30 • Maria da Purificação Antunes Coelho

Exercícios, 64, 62, 74 e 75(1).

8 Novembro 2017, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 60 (resolução parcial), 77(1), 77(2), 79, 80, 82(1) e 82(2). Esclarecimento de dúvidas.

7 Novembro 2017, 10:30 • Fernando Ferreira

Sentenças de Horn. Cláusulas de Horn. Forma condicional das cláusulas de Horn. O algoritmo da satisfação de Horn.

7 Novembro 2017, 08:00 • Fernando Ferreira

Exercícios 64 (3)(4)(5), 68, 75 (1)(2), 76 e 77 (1).