Sumários

20 Novembro 2017, 11:00 • Maria João Antunes Dias Gouveia

Conclusão da ficha 3A e continuação da resolução da folha extra sobre estratégias de demonstração.

17 Novembro 2017, 14:00 • Maria João Antunes Dias Gouveia

Continuação da resolução dos exercícios da folha 3A. Resolução de alguns exercícios extra.

17 Novembro 2017, 11:00 • Mário Jorge Edmundo

Resolução dos exercícios da folha de exercícios 3A.

17 Novembro 2017, 11:00 • Maria João Antunes Dias Gouveia

Continuação da resolução dos exercícios da folha 3A. Resolução de alguns exercícios extra.

16 Novembro 2017, 11:30 • Mário Jorge Edmundo

Conjuntos: Axioma da extração; exemplos; interseção e complementação da conjuntos; axioma da união; axioma do produto cartesiano; exemplos.