Sumários
TP 2
20 Setembro 2019, 11:30 • Bruno Dinis
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
T2
20 Setembro 2019, 10:30 • Mário Jorge Edmundo
Demonstração do teorema do isomorfismo de Dedekind (conclusão). Definições recursivas da adição e da multiplicação; os números naturais com adição, multiplicação, zero e um é um semi-anel comutativo; lei do corte para a adição. Definição da ordem nos números naturais.
TP1
18 Setembro 2019, 09:00 • Bruno Dinis
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).
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).