Sumários
T_4
27 Setembro 2024, 12:00 • Mário Jorge Edmundo
Adição e multiplicação nos números naturais; associatividade, comutatividade, distributividade, elemento neutro; lei do corte para a adição; menor do que; não há divisores de zero; lei do corte para a multiplicação; a ordem é compatível com a adição e a multiplicação.
T_3
25 Setembro 2024, 13:30 • Mário Jorge Edmundo
O axioma do infinito, o conjunto indutivo omega, os números naturais, omega é estrutura de Peano-Dedekind, princípio de indução, teorema da recursão. Resolução de alguns exercícios e esclarecimento de dúvidas.
T_2
20 Setembro 2024, 12:00 • Mário Jorge Edmundo
Interseção e diferença, pares ordenado, produto cartesiano; relações: domínio, imagem, restrição, inversa e composição, imagem e imagem inversa, propriedades de relações (reflexividade, anti-reflexividade, simetria, anti-simetria, transitividade e total); funções: invencibilidade, composição e inversa, imagem e imagem inversa.
T_1
18 Setembro 2024, 13:30 • Mário Jorge Edmundo
Apresentação do docente e da u.c. Método de avaliação. O que são conjuntos, paradox de Russel, teoria axiomática de conjuntos; a linguagem da teoria de conjuntos, fórmulas da teoria de conjuntos; a teoria de Zermelo-Fraenkel: axioma da extensionalidade, axioma da separação, axioma do vazio, axioma do par, axioma da união e axioma das partes.