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