LÓGICA PARA COMPUTAÇÃO
Lógica Proposicional
-Lógica
-Principio da Não Contradição
-Principio do Terceiro Excluído
Proposições
Verdadeira
Falsa
Compostas e Conectivos Lógicos
Fórmulas
Fórmulas Bem Formuladas
(FBF)
E (Conjunção)
OU (Disjunção)
NÃO (Negação)
SE...ENTÃO...(Condicional)
SE E SOMENTE SE (Bicondicional)
Tabela Verdade
Teoria dos Conjuntos
Relações e Funções
Composição de Relações
Relação Dual
Banco de Dados Relacional
Diagrama
Entidade-Relacionamento
Relação Funcional
Relação Injetora
Relação Total
Relação Sobrejetora
Denotação de Conjuntos
-Por Extensão
-Por Compreensão
Diagrama de Venn
Operações Não Reversíveis
Intersecção
União
Teoria do Conjuntos
Tipos de Conjuntos
Unitário
Numéricos
Vazio
Finitos/Infinitos
Pertinência
Não Pertence ( E/ )
Pertence ( E )
Continência
Contém
Não Contém
Não Esta Contido Em
Esta Contido Em
Igual
Operações Reversíveis
Produto Cartesiano
União Disjunta
Conjunto das Partes
Complemento