T_2

12 Setembro 2025, 11:00 • Mário Jorge Edmundo

Interseção e diferença; pares ordenados, produto cartesiano; relações, restrição, inversa  e composição, imagem e imagem inversa; relações num conjunto, propriedades; funções, invertibilidade,  composição e inversa, imagem e imagem inversa. Esclarecimento de dúvidas sobre os exercícios.

---

T_1

10 Setembro 2025, 13:30 • Mário Jorge Edmundo

Apresentação. Informações sobre a avaliação. Motivação, o que são conjuntos, paradoxo de Russel; teoria axiomática de conjuntos; a linguagem da teoria de conjuntos,  fórmulas da teoria de conjuntos; a teoria de Zermelo: axioma da extensionalidade, axioma esquema da separação,  axioma do conjunto vazio, axioma do par, axioma da união, axioma das partes.

---