Sumários

10 Dezembro 2021, 11:00 • Fernando Ferreira

Exercícios complementares IV: 1(a), 4 e 7. Exercício 3 da p. 273.

10 Dezembro 2021, 11:00 • Maria da Purificação Antunes Coelho

Exercícios complementares IV: 1, 2, 6 e 8.

9 Dezembro 2021, 11:30 • Fernando Ferreira

Exemplo duma demonstração de igualdade entre produtos cartesianos.

Uniões e interseções indexadas.

Relações binárias. Sete relações binárias nos números naturais (como exemplos).

9 Dezembro 2021, 10:00 • Maria da Purificação Antunes Coelho

Exercícios complementares IV: 1, 2 e 6.

7 Dezembro 2021, 10:30 • Maria da Purificação Antunes Coelho

Exercícios 9 i), 9 k) e 9 n) da lista de exercícios complementares III.

Uma demonstração por indução completa: Proposição 4.11 (página 196).