UFJF - Universidade Federal de Juiz de Fora

Plano de ensino

Disciplina: EADDCC003 - LÓGICA PARA COMPUTAÇÃO

Créditos: 4

Departamento: DEPTO DE CIENCIA DA COMPUTACAO /ICE

Ementa Lógica Clássica e o método axiomático dedutivo. Lógica Sentencial e de Primeira Ordem. Sistemas Dedutivos: Dedução Natural; Tableaux; Resolução. Correção, Completude dos sistemas formais. Exemplos de lógicas não clássicas. Exemplos de aplicações da lógica.
Conteúdo 1.Lógica Clássica e o método axiomático dedutivo.
2.Lógica Sentencial e de Primeira Ordem.
3.Sistemas Dedutivos: Dedução Natural; Tableaux; Resolução.
4.Correção, Completude dos sistemas formais.
5.Exemplos de lógicas não clássicas.
6.Exemplos de aplicações da lógica.
Bibliografia ALENCAR, Edgard Filho. Iniciação à Lógica Matemática. 18ª ed. São Paulo: Nobel, 2000.
DE SOUZA, João Nunes. Lógica para Ciência da Computação. Campus, 2002.
GERSTING, Judith L. Fundamentos Matemáticos para a Ciência da Computação. 5ª ed. Rio de Janeiro: LTC, 2004.
Bibliografia (continuação)
Bibliografia complementar Em aberto.
Voltar