Sumários

TP13-19

19 Novembro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 75 e 76 (1). 

AULA 17

16 Novembro 2018, 09:30 • Fernando Ferreira

Variáveis. Termos. 

Substituição simultânea de variáveis por termos. Termos unificáveis e substituições unificadoras. Exemplos.

TP11-17

16 Novembro 2018, 08:00 • Mário Jorge Edmundo

Segundo mini-teste.

17 TP12

15 Novembro 2018, 10:30 • Fernando Ferreira

Segundo mini-teste.

Aula 17 TP 14

15 Novembro 2018, 08:00 • Maria da Purificação Antunes Coelho

Segundo mini-teste.