Sumários
Exercícios 3B e 3C
27 Novembro 2017, 11:00 • Mário Jorge Edmundo
Exemplos de 3B. Resolução dos exercícios da folha de exercícios 3C.
Folha extra 3
24 Novembro 2017, 14:00 • Maria João Antunes Dias Gouveia
Conclusão da folha extra sobre estratégias de demonstração.
Exercícios 3A
24 Novembro 2017, 11:00 • Mário Jorge Edmundo
Resolução dos exercícios da folha de exercícios 3A.
Folha extra 3
24 Novembro 2017, 11:00 • Maria João Antunes Dias Gouveia
Conclusão da folha extra sobre estratégias de demonstração.
Tema 4
23 Novembro 2017, 11:30 • Mário Jorge Edmundo
Conjuntos: propriedades do conjunto vazio, da inclusão e do conjunto das partes; algumas demonstrações. Relações: relações; exemplos; relações de ordem; exemplos.