Sumários
Aula3-Princípio de Indução Matemática
9 Março 2022, 18:00 • Rita Sousa
Somatórios e propriedades. Factorial e propriedades. Princípio de indução matemática, exemplos e resolução de exercícios.
Aula2-Lógica e Teoria dos Conjuntos
7 Março 2022, 18:00 • Rita Sousa
Condições. Solução de uma condição. Operações lógicas sobre condições. Quantificador existencial e universal. Condições possíveis, impossíveis e universais. Segundas leis de De Morgan. Conceito de contraexemplo. Definição de conjunto em extensão e compreensão. Igualdade, inclusão, interseção, união e diferença (complementar) de conjuntos. Operação sobre condições e respetiva correspondência para conjuntos.
Aula 2
7 Março 2022, 18:00 • Rita Sousa
Introdução à teoria de conjuntos. Conjuntos e elementos de conjuntos, subconjuntos e subconjuntos próprios. Diagramas de Venn. Interseção, união e diferença entre dois conjuntos; complementar de um conjunto. Expressões e condições, conjunto solução de uma condição, caracterização de condições: possíveis, universais e impossíveis. Quantificador universal e quantificador existencial, segundas leis de Morgan. Propriedades de operações entre condições e a sua tradução em termos de conjuntos.
Aula 1
4 Março 2022, 18:00 • Rita Sousa
Introdução à lógica. Termos e proposições, valor lógico de uma proposição. Operações lógicas e tabelas de verdade: negação, conjunção, disjunção, disjunção exclusiva, implicação e equivalência. Propriedades das operações lógicas e resolução de exercícios.
Aula1-Lógica e Teoria dos Conjuntos
4 Março 2022, 18:00 • Rita Sousa
Proposição versus designação. Valor lógico de uma proposição, princípio de não contradição e do terceiro excluído. Negação, conjunção, disjunção, implicação, equivalência. Operadores lógicos, propriedades e tabelas de verdade, primeiras Leis de De Morgan.