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