Sumários
AULA 2
22 Setembro 2017, 10:30 • Fernando Ferreira
A definição (recursiva) de multiplicação. Dedução das propriedades aritméticas básicas duma estrutura de Dedekind-Peano.
TP 1
20 Setembro 2017, 09:00 • Fernando Ferreira
Apresentação aos alunos. Revisão de operações elementares sobre conjuntos. Resolução de exercícios sobre operações elementares de conjuntos (4.2 (a), (b) e (f), 4.3 e 4.5).
AULA 1
20 Setembro 2017, 08:00 • Fernando Ferreira
Apresentação do professor. Informações sobre a bibliografia (notas disponibilizadas na plataforma FenixEdu) e a aula teórica-prática. Breves palavras sobre o carácter da disciplina e sobre o seu conteúdo curricular.