Sumários

TP13 - aula 2

24 Setembro 2026, 13:30 • Catarina Araujo de Santa Clara Gomes

Folha 0: discussão e resolução do exercício B.

Folha 1: discussão e resolução dos exercícios 1, 2, 3, 10.


TP12 Aula 2

24 Setembro 2026, 13:30 • Isabel Ferreirim

Folha 1 (Cardinais): discussão e resolução dos exercícios 1,2,3, 11,12 , 4, 6 (a), (b), (c).



T11 Aula 5

24 Setembro 2026, 12:30 • Isabel Ferreirim

Se \alpha é um cardinal infinito e \beta não é zero então \alpha+\beta=\alpha x \beta=max{\alpha, \beta}.

O cardinal do contínuo. 
Alguns exemplos de cardinais infinitos numeráveis e não numeráveis. 
Todo o conjunto é infinito sse for equipotente a uma sua parte própria. 
Breve apresentação da Hipótese do Contínuo.
O número de alunos presentes é estimado.


T11 Aula 4

22 Setembro 2026, 15:30 • Isabel Ferreirim

Esboço de uma bijeção entre N e NxN. 
Tricotomia dos cardinais. 
Aritmética dos cardinais: definição de adição, multiplicação e exponenciação de cardinais. 
A união numerável de conjuntos numeráveis é numerável. Se A é infinito então é equipotente a AxA. 
Se \alpha é um cardinal infinito, \beta não é zero e \beta menor ou igual a \alpha então \alpha x \beta=\alpha. 
Se \alpha é um cardinal infinito, e \beta menor ou igual a \alpha então \alpha + \beta=\alpha.


TP11 Aula 1

22 Setembro 2026, 13:30 • Isabel Ferreirim

Folha 0: discussão e resolução dos exercícios Discussão e resolução dos exercícios A, D, E, B, C.