Sumários
TP 4
29 Setembro 2017, 11:30 • Fernando Ferreira
Relações de ordem. Resolução de exercícios sobre relações de ordem (5.1 (a), 5.7, 5.9 e 5.10 (a)).
TP 3
27 Setembro 2017, 09:00 • Fernando Ferreira
Funções parciais e funções compatíveis. Relações de equivalência. Resolução de exercícios sobre relações de equivalência (4.1, 4.2 e 4.3).
AULA 3
27 Setembro 2017, 08:00 • Fernando Ferreira
O princípio do mínimo. O princípio da indução completa. O teorema do isomorfismo de Dedekind.
TP 2
22 Setembro 2017, 11:30 • Fernando Ferreira
Relações e funções. Resolução de exercícios sobre relações e funções (2.3 (a), 2.4 (c) e (e), 2.5, 2.6, 3.4 e 3.7).