LÓGICA APLICADA À COMPUTAÇÃO

Carga Horária: 60 horas-aula

Ementa:

• Introdução à lógica.
  
• Àlgebra de variáveis lógica.
  
• Diagrama de Venn.
  
• Implementação de sistema Lógico.
  
• Operações lógicas sobre proposições.
  
• Tabelas- Verdade para proposição compostas.
  
• Relação de implicação e equivalência.
  
• Argumentos válidos.
  
• A Álgebra dos conjuntos com a lógica proposicional.
  
• Álgebra de Boole.
  
• Simplificação de funções lògicas.
  

Bibliografia:
DAGHLIAN, Jacob. Lógica e álgebra Boole. São Paulo: Editora Atlas, 1990.
NOLT, Jonh; ROHATYN, Dennis. Lógica. São paulo: Makron Books, 1991.
GALLIER, J.H, Logic for Computer Science: Fooundation fo Automatic Theorem Proving, Wiley, 1987.
EDERTON, H.B.A Mathematical Introduction to Logic, Academic Press, 2201

Sites
Introdução à lógica aplicada a computação
Lógica e argumentação
Lógica Proposicional e Álgebra de Boole
Lógica proposicional-Introdução
Lógica proposicional-Proposição e conectivos
Lógica proposicional-Formalização matemática
Lógica proposicional-Tabela verdade
Lógica proposicional-Formas de argumentos
Lógica proposicional-Regras de inferência
Lógica de primeira ordem
Lógica de 1ª ordem
Lógica de primeira ordem-Regra de formação
Lógica de primeira ordem-Setença aberta
Regra de inferência para os qualificadores


PDF
Lógica proposicional
Lógica