Universidade Federal do Espírito Santo

Portal do Ementário

Informações Gerais
Disciplina:
Lógica para Computação I ( DCE10796 )
Unidade:
Departamento de Computação e Eletrônica
Tipo:
Optativa
Período Ideal no Curso:
Sem período ideal
Nota Mínima para Aprovação:
5.00
Carga Horária:
60
Número de Créditos:
4

Objetivos
Introduzir o uso da lógica como mecanismo de representação de teorias. Apresentar os conceitos do raciocínio lógico formal, através do cálculo proposicional, que são fundamentais para computação. Aplicar os fundamentos da lógica na solução de problemas.

Ementa
Cálculo Proposicional: Sintaxe e Semântica. Sistemas Dedutivos. Cálculo de Predicados de primeira Ordem: Introdução à Sintaxe e Semântica.

Bibliografia
NOLT, John; ROHATYN, Dennis. "Lógica". Makron Books, 1991. ALENCAR FILHO, Edgard. "Iniciação à Lógica Matemática". 21a Ed. Nobel, 1999. SOUZA, João Nunes de. "Lógica para Ciência da Computação". 2a Ed. Campus, 2008.

Bibliografia Complementar
FINGER, Marcelo; SILVA, Flávio Soares Corrêa da; MELO, Ana Cristina Vieira de. "Lógica para Computação". 1a Ed. Thomson Pioneira, 2006. HUTH, Michael; RYAN, Mark "Logic in Computer Science: Modelling and Reasoning about Systems". 2a Ed. Cambridge University Press, 2004.
Carregando...