Disciplina: EADDCC003 - LÓGICA PARA COMPUTAÇÃO
Horas Aula: 4
Departamento: DEPTO DE CIENCIA DA COMPUTACAO /ICE
Plano de Ensino
Voltar
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)
Não informado
Bibliografia complementar
Em aberto.
