Sumários
Aula 20 (TP14)
30 Novembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 123 (alíneas 6 a 10), 121 (alíneas 1 a 15), 134 e 136. Dedução formal do argumento do exercício 134.
Aula 19 (TP 14)
29 Novembro 2017, 09:30 • Maria da Purificação Antunes Coelho
Exercícios 102, 106, 100, 119, 123 (alíneas 1 a 5) e 124 (alíneas 1 a 3).
Aula 21 (TP13)
29 Novembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 123 (alíneas 6 a 10), 124 (alíneas 1, 2, 3 e 9) e 121 (alíneas 1 a 6). Exercício 134 e dedução formal correspondente.
AULA 21
28 Novembro 2017, 10:30 • Fernando Ferreira
Exemplos de algumas traduções.