Sumários

TP11: Demonstrações por indução e conjuntos.

28 Outubro 2022, 11:00 • Mário João de Jesus Branco

Resolução dos Exerc. 47, 48, 49, 50.a) e 52.a).


T12 aula 12

27 Outubro 2022, 11:30 • Maria da Purificação Antunes Coelho

Conjuntos definidos em extensão e conjuntos definidos por condições. Produto cartesiano de um par de conjuntos.

Mais demonstrações envolvendo inclusões de conjuntos.


AULA 12

27 Outubro 2022, 11:30 • Fernando Ferreira

Mais demonstrações com conjuntos. Conjuntos formados por separação. Conjuntos formados por substituição.


TP12 aula 12

27 Outubro 2022, 10:00 • Maria da Purificação Antunes Coelho

Exercícios 49, 50 (alíneas a, c e d), 51 e 52 (alíneas a, b e c).


TP16: Quantificadores, Princípio de indução e conjuntos.

26 Outubro 2022, 11:00 • Mário João de Jesus Branco

(Dia da Investigação da FCUL.) 
Resolução dos Exerc. 39, 41, 42 e 49.