logica para programação

Autarquia Educacional do Vale do São Francisco – AEVSF
Faculdade de Ciências Aplicadas e Sociais de Petrolina – FACAPE
Ciência da Computação

CURSO:

CIÊNCIA DA COMPUTAÇÃO

DADOS SOBRE A DISCIPLINA

CÓDIGO
02.03.10.1.19

DISCIPLINA
LÓGICA APLICADA A COMPUTAÇÃO

C.HORA.ANUAL

C.HOR.SEMESTRAL C.HOR. SEMANAL
60 h

4

TERMO
LETIVO

ANO/EXERCICIO

2015.1

OBJETIVOS
Apropriar o estudante dos conhecimentos básicos sobre: sistemas formais; relação entre linguagens formais e as "realidades" que elas descrevem (modelos e interpretações); validade de argumentos; satisfatibilidade; sistemas de valoração-verdade; inconsistência; corretude, completude e incompletude de sistemas formais em relação às interpretações; sistemas dedutivos; conseqüência lógica.

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.

CONTEÚDO
Lógica Proposicional: raciocínio, sentenças, proposições, operadores, expressões, sintaxe, árvore sintática, número de parênteses de expressões, comprimentos de expressões, número de operadores de expressões, posto, subexpressões; Semântica da Lógica Proposicional: interpretação, satisfatibilidade, contradição, tautologia, conseqüência lógica, validade de argumentos. Método da Tabela-verdade, Método da Resolução(literal, cláusula, forma normal conjuntiva, satisfatibilidade), Método dos ‘Tableaux’ Analíticos(regras de expansão dos tipos A e B, ramos abertos e fechados, prova tableaux.), Método da Dedução Natural(conceitos, regras de introdução e eliminação, critérios de uso de regras de inferência, árvore de prova (critérios para identificação)). Lógica de Predicados: conceitos, linguagem, relacionamentos, estrutura, assinatura, termos de uma assinatura, fórmulas atômicas, fórmulas