Sumários

TP12 - 5 de novembro

5 Novembro 2020, 10:00 • Maria da Purificação Antunes Coelho

Exercícios 25, 27, 29 e alíneas a), b) e d) a g) do exercício 30.

TP12 - 3 de novembro

3 Novembro 2020, 10:30 • Maria da Purificação Antunes Coelho

Exercícios 21(c), 22(b), 23 e 24.

Aula teórica 9

3 Novembro 2020, 09:30 • Maria da Purificação Antunes Coelho

Negação de expressões com quantificadores.

Conjuntos: a noção de subconjunto; princípio da extensionalidade; conjuntos definidos por condições; interseção e união de um par de conjuntos; complementar de um conjunto noutro.

TP13 - 2 de novembro

2 Novembro 2020, 13:30 • Maria da Purificação Antunes Coelho

Conclusão dos exercícios 21, 22 e 23. Discussão dos exercícios 24 e 26.

TP14 - 2 de novembro

2 Novembro 2020, 11:00 • Maria da Purificação Antunes Coelho

Conclusão dos exercícios 21, 22 e 23. Discussão do exercício 24.