Lógica da computação

Lógica da computação

1. Aula 1: Lógica Proposicional

   • Lógica
     • Chamamos de lógica proposicional ou lógica formal os princípios e métodos de pensarmos de maneira organizada sobre determinadas situações, quando precisamos analisar racionalmente sobre qual a melhor ação a tomar em cada situação
     • Princípio da Não-contradição
     • Princípio do terceiro excluído
   • Proposições
   • Proposições compostas e conectivos lógicos
   • Tabela Verdade

2. Aula 02: Conectivos lógicos - Conjunção

3. Aula 03: Conectivos lógicos -Disjunção

4. Aula 04: Conectivos lógicos - Negação

5. Aula 05: Conectivos lógicos - Condicional

6. Aula 06: Conectivos lógicos - Bicondicional

7. Aula 07: Conectivos lógicos - Formulas

8. Aula 08: Teoria dos conjuntos - Conjuntos

   • Denotação de conjuntos
     • Denotação por extensão
     • Denotação por compreensão
   • Conjunto vazio
   • Conjuntos numéricos
   • Conjuntos finitos e infinitos

9. Aula 09: Teoria dos conjuntos - Pertinência e Continência

10. Aula 10: Teoria dos conjuntos - Diagrama de Venn

    • Conectivos lógicos/operações de conjuntos

11. Aula 11: Teoria dos conjuntos - Operações não reversíveis

    • União
    • Intersecção

12. Aula 12: Teoria dos conjuntos - Operações reversíveis

    • Complemento
    • Conjunto das partes
    • Produto cartesiano

13. Aula 13: Relações e funções - Conceitos

    • Relação
    • Diagrama de Venn

14. Aula 14: Relações e funções - Tipos

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

15. Aula 15: Relações e funções - Banco de dados relacional

    • Diagrama Entidade-Relacionamento
      • Entidades
      • Relacionamentos