Lógica para Computação

Proposições

Compostas

Conectivos lógicos

Conjunções

Disjunções

Negação

Condicional

Bicondicional

Formulas

Teoria dos Conjuntos

Tipos de conjuntos

Pertinência e Continência

Diagrama de Veen

Operações não reversíveis

Operações reversiveis

Relações e Funções

Relação Dual

Composição das relações

Banco de dados Relacional

Diagrama Entidade-Relacionamento

Tabela verdade