Sumários

AULA 9

19 Outubro 2018, 10:30 • Fernando Ferreira

A noção de ordinal. Exemplos e intuição. Um elemento dum ordinal é um ordinal.

TP 8

17 Outubro 2018, 09:00 • Fernando Ferreira

Enunciado do exercício 2.11 do manual. Resolução dos exercícios 2.4, 2.6, 2.7 e 2.8(1).

AULA 8

17 Outubro 2018, 08:00 • Fernando Ferreira

Alguns resultados sobre boas-ordens.

TP 7

12 Outubro 2018, 11:30 • Fernando Ferreira

Enunciado do segundo TPC para avaliação. 
Finalização do exercício 2.3.
Discussão dos problemas do primeiro TPC para avaliação.

AULA 7

12 Outubro 2018, 10:30 • Fernando Ferreira

Demonstração do princípio da indução transfinita. O princípio de recursão transfinita em boas-ordens e a sua demonstração.

Entrega dos TPCs da primeira avaliação.