Sumários

Aula3-Lógica Bivalente e Teoria dos Conjuntos

8 Março 2023, 18:00 Rita Sousa


Quantificador universal, existencial e existencia e unicidade. Segundas Leis de De Morgan. Contraexemplo. Conjuntos definidos por condições, operações entre condições e suas propriedades e sua tradução em linguagem de conjuntos.

Aula 3

8 Março 2023, 18:00 Rita Sousa


Progressão aritmética: termo geral, soma de termos. Resolução der sistemas.

Introdução do conceito de somatório.

Princípio de indução matemática. Aplicação.

Aula 3

8 Março 2023, 18:00 Rita Sousa


Segundas leis de Morgan. Conjuntos definidos por condições. Relação entre as operações entre conjuntos e as operações lógicas entre as condições que definem os conjuntos.

Conjuntos - Parte 2

6 Março 2023, 19:00 Rita Sousa


Noção de Majorante/Minorante, Supremo/Ínfimo e Maximo/Mínimo de um conjunto.

Aula 2

6 Março 2023, 18:00 Rita Sousa


Conjuntos, subconjuntos e subconjuntos próprios. União, interseção, diferença e complementar de um conjunto. Diagramas de Venn. Expressão designatória e domínio de definição. Proposição designatória ou condição. Condições possíveis, condições universais e condições impossíveis. Quantificador universal e quantificador existencial.