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

Entrega dos trabalhos para casa.
Enunciado dos exercícios 2.6, 2.7 e 2.8 do manual.
Resolução do exercício 2.2 (finalização).

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).

Exercícios 1.4 (finalização), 2.1 e 2.2 do manual.