Sumários

11 Outubro 2016, 10:30 • Mário Jorge Edmundo

Resolução de exercícios da folha de Exercícios 1D.

11 Outubro 2016, 09:30 • Mário Jorge Edmundo

Quantificador universal; quantificador existencial; combinações de quantificadores; combinações de quantificadores e de operações lógicas.

10 Outubro 2016, 13:30 • Catarina Araujo de Santa Clara Gomes

Resolução de exercícios da ficha 1C (conclusão) e 1D (início).

10 Outubro 2016, 11:00 • Mário Jorge Edmundo

Resolução de exercícios da folha de Exercícios 1D.

10 Outubro 2016, 11:00 • Catarina Araujo de Santa Clara Gomes

Resolução de exercícios da ficha 1C (conclusão) e 1D (início).