Lógica da Computação
Lógica Proposicional
Lógica
Principio da Nao-contradiçao
Princípio do terceiro excluído
Proposições
Proposições
Não proposição
Proposições compostas e conectivos lógicos
Conectivos lógicos
NÃO (Negação)
SE ... ENTÃO ..(Condicional)
OU (Disjunção)
SE E SOMENTE SE (Bicondicional)
E (Conjunção)
Teoria dos Conjuntos
Conjunto Unitário
Conjunto Numérico
Conjunto Vazio
Conjunto Finito e Infinito
Pertinência
Continência
Diagrama de Venn
Operações Não Reversiveis
União
Intersecção
Operações Reversiveis
Complemento
Conjunto de Pares
Produto Cartesiano
União Disjunta
Relações e Funções
Banco de Dados Relacional
Relação Dual
Composição de Relação
Tabela Verdade