Disciplina: DCC160 - LGICA E FUNDAMENTOS PARA A COMPUTAO
Horas Aula: 4
Departamento: DEPTO DE CIENCIA DA COMPUTACAO /ICE
Plano de Ensino
Operaes Lgicas sobre Proposies.
Construo de Tabelas-Verdade.
Tautologia, Contradies e Contingncias.
Implicao e equivalncia Lgica.
lgebra das Proposies.
Mtodo Dedutivo.
Argumentos.
Regras de Inferncia.
Validade mediante Regras de Inferncia.
Clculo de Predicados.
Aplicaes utilizando programao em lgica.
Valores lgicos
Proposies simples
Proposies compostas.
2. Conectivos - Operaes Lgicas sobre Proposies.
Negao
Conjuno
Disjuno
Disjuno Exclusiva
Condicional
Bicondicional
3. Construo de Tabelas-Verdade
Tabela-Verdade de uma proposio composta
Nmero de linhas
Construo de uma Tabela-Verdade
4. Tautologia, Contradies e Contingncias.
Tautologia
Contradio
Contingncia
5. Implicao Lgica
Propriedades
Tautologia e equivalncia lgica
Proposies associadas a uma condicional
Negao conjunta e disjunta de duas proposies
6. lgebra das proposies
7. Forma Normais
Princpio da dualidade
8. Argumentos
Definio
Validade
Argumentos Vlidos
Regras de Inferncia
9. Clculo de Predicados
Quantificadores e variveis
Regras de inferncia para o quantificador universal
Regras de inferncia para o quantificador existencial
Teoremas e regras de equivalncia do quantificador
ALENCAR FILHO, Edgard de, Iniciao Lgica Matemtica. 16 ed. So Paulo: Ed. Nobel, 1990.
SILVA, Flvio Soares Correa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lgica para Computao. 1 Ed. Rio de Janeiro: Thomson Pioneira Editora, 2006.
HEGENBERG, Leonidas. Lgica - o Clculo Sentencial - Clculo de Predicados e Clculo Com Igualdade - 3 Ed. 2012.
MARTINS, Mrcia da Silva. Lgica - Uma Abordagem Introdutria, 2012.
SMULLYAN, Raymond M. Lgica de Primeira Ordem. 1 Ed. Editora Unesp, 2009.