T1

18 Setembro 2019, 08:00 • Mário Jorge Edmundo

Apresentação do docente; informações sobre a u.c., a bibliografia, aulas TP e avaliação. A estrutura dos números naturais com zero e sucessor; formulações equivalentes do princípio da indução, conjuntos indutivos; Teorema da recursão de Dedekind e a sua demonstração; teorema do isomorfismo e a sua demonstração (incompleta).