UFJF - Universidade Federal de Juiz de Fora

Plano de ensino

Disciplina: DCC160 - LÓGICA E FUNDAMENTOS PARA A COMPUTAÇÃO

Créditos: 4

Departamento: DEPTO DE CIENCIA DA COMPUTACAO /ICE

Ementa Proposições.
Operações Lógicas sobre Proposições.
Construção de Tabelas-Verdade.
Tautologia, Contradições e Contingências.
Implicação e equivalência Lógica.
Álgebra das Proposições.
Método Dedutivo.
Argumentos.
Regras de Inferência.
Validade mediante Regras de Inferência.
Cálculo de Predicados.
Aplicações utilizando programação em lógica.
Conteúdo 1. Proposições
Valores lógicos
Proposições simples
Proposições compostas.
2. Conectivos - Operações Lógicas sobre Proposições.
Negação
Conjunção
Disjunção
Disjunção Exclusiva
Condicional
Bicondicional
3. Construção de Tabelas-Verdade
Tabela-Verdade de uma proposição composta
Número de linhas
Construção de uma Tabela-Verdade
4. Tautologia, Contradições e Contingências.
Tautologia
Contradição
Contingência
5. Implicação Lógica
Propriedades
Tautologia e equivalência lógica
Proposições associadas a uma condicional
Negação conjunta e disjunta de duas proposições
6. Álgebra das proposições
7. Forma Normais
Princípio da dualidade
8. Argumentos
Definição
Validade
Argumentos Válidos
Regras de Inferência
9. Cálculo de Predicados
Quantificadores e variáveis
Regras de inferência para o quantificador universal
Regras de inferência para o quantificador existencial
Teoremas e regras de equivalência do quantificador
Bibliografia ABE, Jair Minoro, SCALZITTI, Alexandre, FILHO, João Inácio da S. Introdução à Lógica para a Ciência da Computação. 3ª Ed. São Paulo: Arte & Ciência, 2008.
ALENCAR FILHO, Edgard de, Iniciação à Lógica Matemática. 16ª ed. São Paulo: Ed. Nobel, 1990.
SILVA, Flávio Soares Correa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para Computação. 1ª Ed. Rio de Janeiro: Thomson Pioneira Editora, 2006.
Bibliografia (continuação)
Bibliografia complementar GALLIER, Jean H. Logic For Computer Science: Foundations of Automatic Theorem Proving, 2003.
HEGENBERG, Leonidas. Lógica - o Cálculo Sentencial - Cálculo de Predicados e Cálculo Com Igualdade - 3ª Ed. 2012.
MARTINS, Márcia da Silva. Lógica - Uma Abordagem Introdutória, 2012.
SMULLYAN, Raymond M. Lógica de Primeira Ordem. 1ª Ed. Editora Unesp, 2009.

Voltar