Sumários
11 Outubro 2021, 09:00
•
Fernando Ferreira
Resolução de exercícios. Discussões.
11 Outubro 2021, 08:00
•
Fernando Ferreira
Indução e recursão transfinita. Ordinais de von Neumann.
6 Outubro 2021, 09:00
•
Fernando Ferreira
Resolução de exercícios. Discussões.
6 Outubro 2021, 08:00
•
Fernando Ferreira
Boas ordens. Elemento mínimo, elementos sucessor e elementos limite. Caracterização dos segmentos iniciais próprios de boas ordens.
4 Outubro 2021, 09:00
•
Fernando Ferreira
Resolução de exercícios. Discussões.