Sumários
T7
9 Outubro 2019, 08:00 • Mário Jorge Edmundo
O anel comutativo dos racionais é um corpo; a ordem nos racionais e a sua compatibilidade com as operações de corpo; leis de corte. Majorantes, supremos e princípio do supremo; os racionais não satisfazem o princípio do supremo. Cortes de Dedekind nos racionais positivos; construção do semi-anel comutativo dos reais positivos.
TP 6
4 Outubro 2019, 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 e 7)
T6
4 Outubro 2019, 10:30 • Mário Jorge Edmundo
Construção do grupo multiplicativo dos racionais positivos a partir do semi-grupo multiplicativo do naturais positivos; construção do semi-anel comutativo dos racionais positivos com zero, construção da ordem total estrita compatível com as operações de semi-anel; construção do anel comutativo dos racionais a partir do semi-anel comutativo dos racionais positivos com zero.
TP 5
2 Outubro 2019, 09:00 • Bruno Dinis
Resolução de exercícios sobre estruturas de Dedekind-Peano (Exercícios 1,2 e 3). Alguns exemplos de demonstrações erradas.