Sumários
T_15
29 Outubro 2025, 13:30 • Mário Jorge Edmundo
Não houve aula (reunião do conselho de departamento).
T_14
24 Outubro 2025, 11:00 • Mário Jorge Edmundo
Axioma da substituição; esquema de recursão completa em omega, um novo ordinal; esquema de recursão transfinita num ordinal; compatibilidade de ordinais; transitividade nos ordinais, Burali-Forti; princípio do mínimo nos ordinais; ordinal limite; princípio de indução transfinita nos ordinais.
T_13
22 Outubro 2025, 13:30 • Mário Jorge Edmundo
Não houve aula: Dia da Investigação e da Inovação.