Sumários

15 Novembro 2024, 11:30 • Maria da Purificação Antunes Coelho

Exercícios 74 (conclusão), 79 e 80 e algumas alíneas dos exercícios 50 e 64.

15 Novembro 2024, 09:30 • Maria da Purificação Antunes Coelho

Algoritmo da satisfação de Horn (para sentenças de Horn em forma condicional) - descrição do algoritmo e exemplos.

15 Novembro 2024, 08:00 • Mário Jorge Edmundo

Discussão e resolução dos exercícios 75, 76.

14 Novembro 2024, 10:30 • Mário Jorge Edmundo

Não houve aula (por causa da greve do metro o docente não chegou a horas)

13 Novembro 2024, 09:30 • Maria da Purificação Antunes Coelho

Consulta do mini teste realizado a 8 de novembro. Início do exercício 74.