Sumários
Aula 25 (TP 14)
20 Dezembro 2017, 09:30 • Maria da Purificação Antunes Coelho
Entrega do terceiro miniteste e correção de algumas questões do mesmo.
Resolução dos exercícios 155 e 149(4).
Aula 27 (TP13)
20 Dezembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 125, 122, 118, 117, 110 e 108.
AULA 25
19 Dezembro 2017, 10:30 • Fernando Ferreira
Resolução do problema do terceiro mini-teste sobre o algoritmo de unificação mais geral (mgu). Regras para obter uma forma prenexa duma fórmula. Alguns comentários. Deduções formais com múltiplas quantificações: um exemplo e uma falácia.
Aula 26 (TP12)
18 Dezembro 2017, 12:00 • Maria da Purificação Antunes Coelho
Entrega do terceiro miniteste e correção de algumas questões do mesmo.
Exercícios 155 e 149(4).