Sumários
Aula 24 TP14
12 Dezembro 2018, 09:30 • Maria da Purificação Antunes Coelho
Esclarecimento de dúvidas.
Discussão dos exercícios 134, 135 e 136.
Exercício 142.
AULA 24
11 Dezembro 2018, 10:30 • Fernando Ferreira
Algumas traduções: exercícios 125(1) e 127(8). Formas normais prenexas. Prenexificação. O exercício 132. Exemplos.
TP12-11
11 Dezembro 2018, 08:00 • Bruno Dinis
Resolução dos exercícios 154, 138 e 136. Resolução de exercícios de revisão para o mini-teste.
24 TP12
10 Dezembro 2018, 12:00 • Fernando Ferreira
Exercícios 120, 124(1)(2)(3)(4)(5), 148(1)(2)(3), 154 e 156.