Sumários
AULA 7
11 Outubro 2017, 08:00 • Fernando Ferreira
Operações aritméticas nos cortes de Dedekind. Construção dos números reais. O corpo dos números reais.
TP 6
6 Outubro 2017, 11:30 • Bruno Dinis
Resloução de exercícios sobre relação de ordem em estruturas de Dedekind-Peano, princípio do mínimo e o teorema da recursão (Exercícios 4, 5, 6, 7 e o Exercício 3.2.12 do livro de Hrbacek e Jech).
AULA 6
6 Outubro 2017, 10:30 • Fernando Ferreira
O ordem nos cortes de Dedekind é uma ordem total estrita em que vale o princípio do supremo.
TP 5
4 Outubro 2017, 09:00 • Bruno Dinis
Resolução de exercícios sobre estruturas de Dedekind-Peano (Exercícios 1,2 e 3 e um exercício adicional).
AULA 5
4 Outubro 2017, 08:00 • Fernando Ferreira
Os números racionais positivos. Breves observações sobre a insuficiência dos números racionais para a análise. Cortes de Dedekind.