Sumários
TP 19
27 Novembro 2019, 09:00 • Bruno Dinis
Resolução dos exercícios 75, 76, 77, 78, 79, 80, 81, 82, 83 e 84.
T20
27 Novembro 2019, 08:00 • Mário Jorge Edmundo
Somar à esquerda um ordinal a um ordinal limite obtém-se um ordinal limite. A associatividade para a soma de ordinais, a soma não é comutativa,. Produto de ordinais, fazer o produto com um ordinal não zero à esquerda preserva a ordem, associatividade do produto (não demonstrado), distributividade à esquerda, o produto não é comutativo.
T19
22 Novembro 2019, 10:30 • Mário Jorge Edmundo
Princípio de recursão transfinita para boas ordens; princípio de recursão transfinita nos ordinais. Soma ordinal, a soma à esquerda respeita a ordem.
TP 17
20 Novembro 2019, 09:00 • Bruno Dinis
Não houve aula por impossibilidade do docente. Por acordo com os alunos, a aula será compensada através de uma aula de dúvidas após o período lectivo e antes do exame final, em que se resolverão exercícios extra e se esclarecerão potenciais dúvidas dos alunos.