Disciplinas ofertadas
A tabela a seguir lista todas as disciplinas em que estão sendo ofertadas vagas aos discentes do Curso de Sistemas de Informação da UFJF no período letivo atual. Os horários e os docentes alocados nas disciplinas podem ser consultados clicando sobre a turma desejada. Cabe destacar que o Curso de Sistemas de Informação da UFJF é ofertado no turno noturno, com aulas majoritariamente de segunda a sexta-feira, das 19h às 23h, conforme sua grade curricular. No entanto, também são disponibilizadas vagas em turmas diurnas, ampliando as opções de escolha e facilitando a montagem das grades horárias pelos alunos.
Plano de Ensino
Disciplina: DCC160 - LÓGICA E FUNDAMENTOS PARA A COMPUTAÇÃO
Horas Aula: 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.
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
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.
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)
Não informado
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.
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.