DISCIPLINA: LOGICA PARA COMPUTACAO
CÓDIGO: 02.03.19.1.19
EMENTA
Relação entre Lógica, Matemática e Computação. Lógica Proposicional: sintaxe (posto, provas por indução) e semântica; Sistemas Dedutivos. Lógica de Predicados: estruturas, relações predicados; assinatura; termos, fórmulas atômicas, sintaxe; verdade em um modelo; satisfatibilidade; diagramas; métodos da resolução com unificação.