Sumários
Folha 3B
27 Novembro 2017, 11:00 • Maria João Antunes Dias Gouveia
Exemplos da folha 3B. Correcção de alguns exercícios.
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.