Sumários
TP 5
10 Outubro 2018, 09:00 • Fernando Ferreira
Enunciado do exercício 2.10 do manual. Exercício 2.3.
AULA 6
10 Outubro 2018, 08:00 • Fernando Ferreira
Boas-ordens. As boas-ordens são as ordens totais estritas sem sequências infinitas descendentes. Indução transfinita em boas-ordens.
TP 4
3 Outubro 2018, 09:00 • Fernando Ferreira
AULA 5
3 Outubro 2018, 08:00 • Fernando Ferreira
O axioma da substituição (continuação). O axioma da fundação. O axioma da escolha.
TP 4
28 Setembro 2018, 11:30 • Fernando Ferreira
Enunciados dos TPC's a entregar (3 exercícios).