Mind map

LÓGICA PARA COMPUTAÇÃO

Deivid Neres Portuguese

Map content

Lógica Proposicional
- Proposições
  - Compostas
  - Conectivos Lógicos
    - Conjunção
    - Disjunção
    - Negação
    - Condicional
    - Bicondicional
    - Fórmulas
    - Operações de conjuntos
      - União
      - Intersecção
      - Complemento
      - continência
      - Igualdade de conjuntos
- Não Proposições
- Tabela Verdade
Conjuntos
- Vazio
- Unitário
- Numéricos
- Finitos
- Infinitos
- Teoria dos Conjuntos
  - Pertinência
    - Pertence
    - Não pertence
  - Continência
    - Está contido em
    - Não está contido em
    - Contém
    - Não contém
    - Igual
  - Diagrama de Ven
    - Pertence
    - Contido em
    - Conjunto Universo
  - Operações não reversíveis
    - União
    - Intersecção
  - Operações reversíveis
    - Complemento
    - Conjunto das partes
    - Produto Cartesiano
    - União Disjunta
Relações e Funções
- Conceito
- Relações
- Banco de dados Relacional
- Entidade - Relacionamento

Description: Mind Map on LÓGICA PARA COMPUTAÇÃO, created by Deivid Neres on 15/03/2022.
Created by: Deivid Neres
Views: 1
Rating