Sumários
Folha 2C
30 Outubro 2017, 11:00 • Maria João Antunes Dias Gouveia
Continuação da resolução dos exercícios da folha 2C
Folha 2C
27 Outubro 2017, 14:00 • Maria João Antunes Dias Gouveia
Resolução dos exercícios da folha 2C.
Exercícios 2C
27 Outubro 2017, 11:00 • Mário Jorge Edmundo
Resolução dos exercícios da folha de exercícios 2C.
Folha 2C
27 Outubro 2017, 11:00 • Maria João Antunes Dias Gouveia
Resolução dos exercícios da folha 2C.
Tema 3
26 Outubro 2017, 11:30 • Mário Jorge Edmundo
Regras de inferência e estratégias de demonstração: demonstração de proposição existencial, demonstração com hipótese existencial, instanciação universal, demonstração de proposição universal, demonstração por indução iniciada em k, demonstração por indução completa iniciada em k. Números irracionais: a reta real e os números reais, relação de ordem, números inteiros, naturais e racionais, axiomas para as operações com números, axiomas para a igualdade.