CURSO: CIÊNCIA DA COMPUTAÇÃO
DADOS SOBRE A DISCIPLINA
CÓDIGO: 02.03.10.1.19 DISCIPLINA: LÓGICA APLICADA A COMPUTAÇÃO
CARGA HORÁRIA ANUAL: CARGA HORÁRIA SEMESTRAL: 60 h CARGA HORÁRIA SEMANAL: 4 TERMO LETIVO: ANO/EXERCÍCIO: 2025.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 atômicas bem formadas, satisfatibilidade; sentenças em Lógica de Predicados, quantificadores, Forma Prenex, Forma de Skolen; unificação de termos, equação na forma resolvida, método de unificação por transformação de sistema de equações, regras de unificação.
METODOLOGIA DE ENSINO
Aulas Expositivas;
Exercícios práticos;
CRITÉRIOS DE AVALIAÇÃO
Atividades para nota
Avaliação escrita