Sumários
Aula 21 TP14
7 Dezembro 2016, 09:30 • Maria da Purificação Antunes Coelho
Exercícios 98 (conclusão), 100, 105 e 107 (algumas alíneas). Início do exercício 119.
Aula 22 - TP13
7 Dezembro 2016, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 121 e 148 (alíneas 2, 3 e 4).
AULA 22
6 Dezembro 2016, 10:30 • Fernando Ferreira
Demonstrações informais com quantificadores. Nomes novos (batismos). As regras formais (AElim), (EIntro) e (EElim). Exemplos.
Aula 21 - TP12
5 Dezembro 2016, 12:00 • Maria da Purificação Antunes Coelho
Exercícios 98 (conclusão), 105 e 107 (alíneas 4,6,8 e 10 a 16). Início do exercício 119.