Sumários
AULA 24
12 Dezembro 2018, 08:00 • Fernando Ferreira
Discussão de dúvidas. Resolução do exercício 4.1(2)(3).
TP 23
7 Dezembro 2018, 11:30 • Fernando Ferreira
Enunciado de sexto trabalho para casa. Esclarecimentos e sugestões de resolução. Mais dois enunciados de exercícios. Discussões várias.
AULA 23
7 Dezembro 2018, 10:30 • Fernando Ferreira
O conjunto ternário de Cantor. Demonstração de que o conjunto dos números reais é equipotente ao conjunto das partes de N.
TP 22
5 Dezembro 2018, 09:00 • Fernando Ferreira
Construção dos inteiros a partir dos naturais. Construção dos racionais a partir dos inteiros (revisão). O problema da aritmetização dos reais (cortes de Dedekind dos racionais).
AULA 22
5 Dezembro 2018, 08:00 • Fernando Ferreira
Conclusão da demonstração de que toda a ordem linear densa sem extermos se mergulha densamente numa ordem linear densa sem extremos que satisfaz o princípio do supremo.