Sumários
AULA 8
19 Outubro 2022, 08:00 • Fernando Ferreira
Ordinais de von Neumann. Propriedades básicas.
Entrega dos testes.
TP4
14 Outubro 2022, 13:30 • Fernando Ferreira
Indução e recursão transfinita.
Discussão de exercícios.
AULA 7
14 Outubro 2022, 12:00 • Fernando Ferreira
Teste em sala de aula.
Continuação da discussão sobre boas ordens.
AULA 6
12 Outubro 2022, 08:00 • Fernando Ferreira
A noção de boa ordem. Elemento zero duma boa ordem. Elementos sucessores e limites duma boa ordem. Algumas propriedades básicas das boas ordens.