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.
Estruturas de Dedekind-Peano. Formulação do teorema da recursão de Dedekind. A definição de soma e a demonstração da propriedade associativa.