Lógica da Computação

Lógica da Computação

1. Lógica Proposicional

   • Lógica
   • Proposições
   • Proposições compostas e conectivos lógicos

2. Conectivos Lógicos - Conjunção

   • Conjunção

3. Conectivos Lógicos - Disconjunção

   • Disjunção

4. Conectivos Lógicos - Negação

   • Negação

5. Conectivos Lógicos - Condicional

   • Condicional

6. Conectivos Lógicos - Bicondicional

   • Bicondicional

7. Conectivos Lógicos - Fórmula

   • Fórmula
   • Tabelas-verdade

8. Teoria dos Conjuntos - Conjuntos

   • Conjuntos
     • Exemplos de Conjuntos
     • Denotação de Conjuntos
     • Tipos de Conjuntos
       • Conjunto Vazio
       • Conjunto Unitário
       • Conjuntos Numéricos
       • Conjuntos Finitos e Infinitos

9. Teoria dos Conjuntos - Pertinência e Continência

   • Pertinência
   • Continência

10. Teoria dos Conjuntos - Diagrama de Venn

    • Diagrama de Venn

11. Teoria dos Conjuntos - Operações Não Reversíveis

    • Operações Não Reversíveis
      • União
      • Intersecção

12. Teoria dos Conjuntos - Operações Reversíveis

    • Operações Reversíveis
      • Complemento
      • Conjunto das partes
      • Produto Cartesiano
      • União Disjunta

13. Relações e Funções - Conceitos

    • Conceitos
      • Relação
      • Diagrama de Venn

14. Relações e Funções - Tipos

    • Conceitos
      • Relação Dual
      • Composição de Relações

15. Relações e Funções - Banco de Dados Relacional

    • Banco de Dados Relacional
      • Diagrama Entidade-Relacionamento

16. Revisão

    • Lógica Proposicional
    • Conectivos Lógicos
    • Teoria dos Conjuntos, Suas Operações e Relações
      • Tipos de Conjuntos
      • Pertinência / Continência
      • Diagram de Venn
      • Operações em Conjuntos
      • Relalções entre Conjuntos