Sumários

21 Novembro 2018, 09:30 • Maria da Purificação Antunes Coelho

Exercícios 84, 85, 86(6), 79 e 80.

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

Exercícios 80, 81, 83 e 84.

20 Novembro 2018, 10:30 • Fernando Ferreira

Termo unificador mais geral (mgu). Algoritmo de unificação mais geral.

Introdução à quantificação. O quantificador existencial. Um exemplo.

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

Exercícios 75 e 76.

19 Novembro 2018, 12:00 • Fernando Ferreira

Exercícios 74, 75(1), 76(2), 77(2), 79 e 81(3).