Sumários
Aula 18 (TP12)
20 Novembro 2017, 12:00 • Maria da Purificação Antunes Coelho
Entrega do segundo mini-teste.
Exercícios 93(3), 94, 95 (alíneas 1, 2 e 3) e 97(1).
Aula 18 (TP13)
20 Novembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Entrega do segundo mini-teste.
Exercícios 86(6), 87(alíneas 3 e 4), 94, 95 (alíneas 1, 2 e 3) e 97(1).
AULA 18
17 Novembro 2017, 09:30 • Fernando Ferreira
Termos unficáveis e substituições unificadoras. A noçaõ de termo unificador mais geral. O algoritmo mgu (most general unifier).
Aula 17 (TP12)
16 Novembro 2017, 10:30 • Maria da Purificação Antunes Coelho
Exercícios 86(6), 87(3), 87(4), 90 e 91.